{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,15]],"date-time":"2025-11-15T03:57:52Z","timestamp":1763179072551,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":87,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,9,3]],"date-time":"2018-09-03T00:00:00Z","timestamp":1535932800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CCF-1718903"],"award-info":[{"award-number":["CCF-1718903"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,9,3]]},"DOI":"10.1145\/3238147.3238162","type":"proceedings-article","created":{"date-parts":[[2018,8,20]],"date-time":"2018-08-20T20:04:36Z","timestamp":1534795476000},"page":"577-588","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":37,"title":["Automated model repair for Alloy"],"prefix":"10.1145","author":[{"given":"Kaiyuan","family":"Wang","sequence":"first","affiliation":[{"name":"University of Texas at Austin, USA"}]},{"given":"Allison","family":"Sullivan","sequence":"additional","affiliation":[{"name":"University of Texas at Austin, USA"}]},{"given":"Sarfraz","family":"Khurshid","sequence":"additional","affiliation":[{"name":"University of Texas at Austin, USA"}]}],"member":"320","published-online":{"date-parts":[[2018,9,3]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"van Gemund","author":"Abreu Rui","year":"2007","unstructured":"Rui Abreu , Peter Zoeteweij , and Arjan J. C . van Gemund . 2007 . On the Accuracy of Spectrum-based Fault Localization. In TAICPART-MUTATION. Rui Abreu, Peter Zoeteweij, and Arjan J. C. van Gemund. 2007. On the Accuracy of Spectrum-based Fault Localization. In TAICPART-MUTATION."},{"key":"e_1_3_2_1_2_1","unstructured":"Christoffer Quist Adamsen Anders M\u00f8ller Rezwana Karim Manu Sridharan Frank Tip and Koushik Sen. 2017. Repairing event race errors by controlling nondeterminism. In ICSE.  Christoffer Quist Adamsen Anders M\u00f8ller Rezwana Karim Manu Sridharan Frank Tip and Koushik Sen. 2017. Repairing event race errors by controlling nondeterminism. In ICSE."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","unstructured":"Rajeev Alur Arjun Radhakrishna and Abhishek Udupa. 2017. Scaling enumerative program synthesis via divide and conquer. In TACAS.  Rajeev Alur Arjun Radhakrishna and Abhishek Udupa. 2017. Scaling enumerative program synthesis via divide and conquer. In TACAS.","DOI":"10.1007\/978-3-662-54577-5_18"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"crossref","unstructured":"Paul Ammann and Jeff Offutt. 2008. Introduction to Software Testing.   Paul Ammann and Jeff Offutt. 2008. Introduction to Software Testing.","DOI":"10.1017\/CBO9780511809163"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","unstructured":"Marcelo Arenas Leopoldo Bertossi and Jan Chomicki. 2001. Specifying and querying database repairs using logic programs with exceptions. In Flexible Query Answering Systems.  Marcelo Arenas Leopoldo Bertossi and Jan Chomicki. 2001. Specifying and querying database repairs using logic programs with exceptions. In Flexible Query Answering Systems.","DOI":"10.1007\/978-3-7908-1834-5_3"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2950290.2950337"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106239"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","unstructured":"Antonio Carzaniga Alessandra Gorla Andrea Mattavelli Nicol\u00f2 Perino and Mauro Pezz\u00e8. 2013. Automatic Recovery from Runtime Failures. In ICSE.   Antonio Carzaniga Alessandra Gorla Andrea Mattavelli Nicol\u00f2 Perino and Mauro Pezz\u00e8. 2013. Automatic Recovery from Runtime Failures. In ICSE.","DOI":"10.1109\/ICSE.2013.6606624"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","unstructured":"Alcino Cunha and Nuno Macedo. 2018. Validating the Hybrid ERTMS\/ETCS Level 3 Concept with Electrum. In ABZ.  Alcino Cunha and Nuno Macedo. 2018. Validating the Hybrid ERTMS\/ETCS Level 3 Concept with Electrum. In ABZ.","DOI":"10.1007\/978-3-319-91271-4_21"},{"key":"e_1_3_2_1_10_1","volume-title":"Qlose: Program Repair with Quantitative Objectives. In CAV.","author":"D\u2019Antoni Loris","year":"2016","unstructured":"Loris D\u2019Antoni , Roopsha Samanta , and Rishabh Singh . 2016 . Qlose: Program Repair with Quantitative Objectives. In CAV. Loris D\u2019Antoni, Roopsha Samanta, and Rishabh Singh. 2016. Qlose: Program Repair with Quantitative Objectives. In CAV."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2010.66"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2593735.2593740"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1146238.1146266"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837617"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1062455.1062535"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568303"},{"key":"e_1_3_2_1_17_1","volume-title":"Muhammad Zubair Malik, and Sarfraz Khurshid","author":"Gopinath Divya","year":"2011","unstructured":"Divya Gopinath , Muhammad Zubair Malik, and Sarfraz Khurshid . 2011 . Specification-Based Program Repair Using SAT. In TACAS. Divya Gopinath, Muhammad Zubair Malik, and Sarfraz Khurshid. 2011. Specification-Based Program Repair Using SAT. In TACAS."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"crossref","unstructured":"Jinru Hua Mengshi Zhang Kaiyuan Wang and Sarfraz Khurshid. 2018. Sketch-Fix: A Tool for Automated Program Repair Approach Using Lazy Candidate Generation. In FSE.  Jinru Hua Mengshi Zhang Kaiyuan Wang and Sarfraz Khurshid. 2018. Sketch-Fix: A Tool for Automated Program Repair Approach Using Lazy Candidate Generation. In FSE.","DOI":"10.1145\/3236024.3264600"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180245"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2499777.2500714"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2010.39"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/505145.505149"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/581339.581397"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568257"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2610384.2628055"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568258"},{"key":"e_1_3_2_1_27_1","volume-title":"Claire Le Goues, and Yuriy Brun","author":"Ke Yalin","year":"2015","unstructured":"Yalin Ke , Kathryn T. Stolee , Claire Le Goues, and Yuriy Brun . 2015 . Repairing Programs with Semantic Code Search. In ASE. Yalin Ke, Kathryn T. Stolee, Claire Le Goues, and Yuriy Brun. 2015. Repairing Programs with Semantic Code Search. In ASE."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"crossref","unstructured":"Sarfraz Khurshid Darko Marinov Ilya Shlyakhter and Daniel Jackson. 2003. A Case for Efficient Solution Enumeration. In SAT.  Sarfraz Khurshid Darko Marinov Ilya Shlyakhter and Daniel Jackson. 2003. A Case for Efficient Solution Enumeration. In SAT.","DOI":"10.1007\/978-3-540-24605-3_21"},{"key":"e_1_3_2_1_29_1","unstructured":"Dongsun Kim Jaechang Nam Jaewoo Song and Sunghun Kim. 2013. Automatic patch generation learned from human-written patches. In ICSE.   Dongsun Kim Jaechang Nam Jaewoo Song and Sunghun Kim. 2013. Automatic patch generation learned from human-written patches. In ICSE."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"crossref","unstructured":"Etienne Kneuss Manos Koukoutos and Viktor Kuncak. 2015. Deductive Program Repair. In CAV.  Etienne Kneuss Manos Koukoutos and Viktor Kuncak. 2015. Deductive Program Repair. In CAV.","DOI":"10.1007\/978-3-319-21668-3_13"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-09195-2_6"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594334"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106309"},{"key":"e_1_3_2_1_34_1","unstructured":"Xuan-Bach D. Le David Lo and Claire Le Goues. 2016. History Driven Program Repair. In SANER.  Xuan-Bach D. Le David Lo and Claire Le Goues. 2016. History Driven Program Repair. In SANER."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"crossref","unstructured":"Claire Le Goues Michael Dewey-Vogt Stephanie Forrest and Westley Weimer. 2012. A systematic study of automated program repair: Fixing 55 out of 105 bugs for $8 each. In ICSE.   Claire Le Goues Michael Dewey-Vogt Stephanie Forrest and Westley Weimer. 2012. A systematic study of automated program repair: Fixing 55 out of 105 bugs for $8 each. In ICSE.","DOI":"10.1109\/ICSE.2012.6227211"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2013.24"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106253"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786811"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/3092703.3092726"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-43652-3_31"},{"key":"e_1_3_2_1_41_1","volume-title":"Jan Oliver Ringert, and Bernhard Rumpe","author":"Maoz Shahar","year":"2011","unstructured":"Shahar Maoz , Jan Oliver Ringert, and Bernhard Rumpe . 2011 . CD2Alloy: Class Diagrams Analysis Using Alloy Revisited. In MODELS. Shahar Maoz, Jan Oliver Ringert, and Bernhard Rumpe. 2011. CD2Alloy: Class Diagrams Analysis Using Alloy Revisited. In MODELS."},{"key":"e_1_3_2_1_42_1","volume-title":"Jan Oliver Ringert, and Bernhard Rumpe","author":"Maoz Shahar","year":"2011","unstructured":"Shahar Maoz , Jan Oliver Ringert, and Bernhard Rumpe . 2011 . CDDiff: Semantic Differencing for Class Diagrams. In ECOOP. Shahar Maoz, Jan Oliver Ringert, and Bernhard Rumpe. 2011. CDDiff: Semantic Differencing for Class Diagrams. In ECOOP."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/2931037.2948705"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"crossref","unstructured":"Sergey Mechtaev Jooyong Yi and Abhik Roychoudhury. 2015. DirectFix: Looking for Simple Program Repairs. In ICSE.   Sergey Mechtaev Jooyong Yi and Abhik Roychoudhury. 2015. DirectFix: Looking for Simple Program Repairs. In ICSE.","DOI":"10.1109\/ICSE.2015.63"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"crossref","unstructured":"Aleksandar Milicevic Joseph P. Near Eunsuk Kang and Daniel Jackson. 2015. Alloy*: A General-purpose Higher-order Relational Constraint Solver. In ICSE.   Aleksandar Milicevic Joseph P. Near Eunsuk Kang and Daniel Jackson. 2015. Alloy*: A General-purpose Higher-order Relational Constraint Solver. In ICSE.","DOI":"10.1109\/ICSE.2015.77"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"crossref","unstructured":"Facundo Molina C\u00e9sar Cornejo Renzo Degiovanni Germ\u00e1n Regis Pablo F Castro Nazareno Aguirre and Marcelo F Frias. 2016. An Evolutionary Approach to Translate Operational Specifications into Declarative Specifications. In BSFM.  Facundo Molina C\u00e9sar Cornejo Renzo Degiovanni Germ\u00e1n Regis Pablo F Castro Nazareno Aguirre and Marcelo F Frias. 2016. An Evolutionary Approach to Translate Operational Specifications into Declarative Specifications. In BSFM.","DOI":"10.1007\/978-3-319-49815-7_9"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-30885-7_9"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2014.28"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/2544136"},{"key":"e_1_3_2_1_50_1","volume-title":"A Declarative Debugging Scheme. Journal of Functional and Logic Programming","author":"Naish Lee","year":"1997","unstructured":"Lee Naish . 1997. A Declarative Debugging Scheme. Journal of Functional and Logic Programming ( 1997 ). Lee Naish. 1997. A Declarative Debugging Scheme. Journal of Functional and Logic Programming (1997)."},{"key":"e_1_3_2_1_51_1","volume-title":"Computer Science Conference.","author":"Naish Lee","year":"2000","unstructured":"Lee Naish . 2000 . A three-valued declarative debugging scheme . In Computer Science Conference. Lee Naish. 2000. A three-valued declarative debugging scheme. In Computer Science Conference."},{"key":"e_1_3_2_1_52_1","unstructured":"Timothy Nelson Christopher Barratt Daniel J. Dougherty Kathi Fisler and Shriram Krishnamurthi. 2010. The Margrave Tool for Firewall Analysis. In LISA.   Timothy Nelson Christopher Barratt Daniel J. Dougherty Kathi Fisler and Shriram Krishnamurthi. 2010. The Margrave Tool for Firewall Analysis. In LISA."},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106272"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"crossref","unstructured":"Tim Nelson Salman Saghafi Daniel J Dougherty Kathi Fisler and Shriram Krishnamurthi. 2013. Aluminum: principled scenario exploration through minimality. In ICSE.   Tim Nelson Salman Saghafi Daniel J Dougherty Kathi Fisler and Shriram Krishnamurthi. 2013. Aluminum: principled scenario exploration through minimality. In ICSE.","DOI":"10.1109\/ICSE.2013.6606569"},{"key":"e_1_3_2_1_55_1","volume-title":"Semfix: Program repair via semantic analysis. In ICSE.","author":"Thien Nguyen Hoang Duong","year":"2013","unstructured":"Hoang Duong Thien Nguyen , Dawei Qi , Abhik Roychoudhury , and Satish Chandra . 2013 . Semfix: Program repair via semantic analysis. In ICSE. Hoang Duong Thien Nguyen, Dawei Qi, Abhik Roychoudhury, and Satish Chandra. 2013. Semfix: Program repair via semantic analysis. In ICSE."},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.1509"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"crossref","unstructured":"Lu\u00eds Moniz Pereira. 1986. Rational debugging in logic programming. In ICLP.   Lu\u00eds Moniz Pereira. 1986. Rational debugging in logic programming. In ICLP.","DOI":"10.1007\/3-540-16492-8_76"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629585"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568254"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/2771783.2771791"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1145\/2486001.2491711"},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"crossref","unstructured":"Ripon K Saha Yingjun Lyu Hiroaki Yoshida and Mukul R Prasad. 2017. ELIXIR: effective object oriented program repair. In ASE.   Ripon K Saha Yingjun Lyu Hiroaki Yoshida and Mukul R Prasad. 2017. ELIXIR: effective object oriented program repair. In ASE.","DOI":"10.1109\/ASE.2017.8115675"},{"key":"e_1_3_2_1_63_1","volume":"201","author":"Samimi Hesam","unstructured":"Hesam Samimi , Max Sch\u00e4fer , Shay Artzi , Todd D. Millstein , Frank Tip , and Laurie J. Hendren. 201 2. Automated repair of HTML generation errors in PHP applications using string constraint solving. In ICSE. Hesam Samimi, Max Sch\u00e4fer, Shay Artzi, Todd D. Millstein, Frank Tip, and Laurie J. Hendren. 2012. Automated repair of HTML generation errors in PHP applications using string constraint solving. In ICSE.","journal-title":"Laurie J. Hendren."},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884807"},{"volume-title":"Algorithmic Program DeBugging","author":"Shapiro Ehud Y.","key":"e_1_3_2_1_65_1","unstructured":"Ehud Y. Shapiro . 1983. Algorithmic Program DeBugging . MIT Press . Ehud Y. Shapiro. 1983. Algorithmic Program DeBugging. MIT Press."},{"key":"e_1_3_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737988"},{"key":"e_1_3_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462195"},{"key":"e_1_3_2_1_68_1","doi-asserted-by":"publisher","DOI":"10.1145\/2483760.2483767"},{"key":"e_1_3_2_1_69_1","doi-asserted-by":"crossref","unstructured":"Allison Sullivan Kaiyuan Wang and Sarfraz Khurshid. 2018. AUnit: A Test Automation Tool for Alloy. In ICST.  Allison Sullivan Kaiyuan Wang and Sarfraz Khurshid. 2018. AUnit: A Test Automation Tool for Alloy. In ICST.","DOI":"10.1109\/ICST.2018.00047"},{"key":"e_1_3_2_1_70_1","unstructured":"Allison Sullivan Kaiyuan Wang Sarfraz Khurshid and Darko Marinov. 2017. Evaluating State Modeling Techniques in Alloy. In SQAMIA.  Allison Sullivan Kaiyuan Wang Sarfraz Khurshid and Darko Marinov. 2017. Evaluating State Modeling Techniques in Alloy. In SQAMIA."},{"key":"e_1_3_2_1_71_1","volume-title":"Razieh Nokhbeh Zaeem, and Sarfraz Khurshid","author":"Sullivan Allison","year":"2017","unstructured":"Allison Sullivan , Kaiyuan Wang , Razieh Nokhbeh Zaeem, and Sarfraz Khurshid . 2017 . Automated Test Generation and Mutation Testing for Alloy. In ICST. Allison Sullivan, Kaiyuan Wang, Razieh Nokhbeh Zaeem, and Sarfraz Khurshid. 2017. Automated Test Generation and Mutation Testing for Alloy. In ICST."},{"key":"e_1_3_2_1_72_1","unstructured":"Shin Hwei Tan Hiroaki Yoshida Mukul R. Prasad and Abhik Roychoudhury. 2016. Anti-patterns in search-based program repair. In FSE.  Shin Hwei Tan Hiroaki Yoshida Mukul R. Prasad and Abhik Roychoudhury. 2016. Anti-patterns in search-based program repair. In FSE."},{"key":"e_1_3_2_1_73_1","volume-title":"Kodkod: A Relational Model Finder. In TACAS.","author":"Torlak Emina","year":"2007","unstructured":"Emina Torlak and Daniel Jackson . 2007 . Kodkod: A Relational Model Finder. In TACAS. Emina Torlak and Daniel Jackson. 2007. Kodkod: A Relational Model Finder. In TACAS."},{"key":"e_1_3_2_1_74_1","doi-asserted-by":"publisher","DOI":"10.1145\/3183440.3183488"},{"key":"e_1_3_2_1_75_1","doi-asserted-by":"crossref","unstructured":"Kaiyuan Wang Allison Sullivan Manos Koukoutos Darko Marinov and Sarfraz Khurshid. 2018. Systematic Generation of Non-Equivalent Expressions for Relational Algebra. In ABZ.  Kaiyuan Wang Allison Sullivan Manos Koukoutos Darko Marinov and Sarfraz Khurshid. 2018. Systematic Generation of Non-Equivalent Expressions for Relational Algebra. In ABZ.","DOI":"10.1007\/978-3-319-91271-4_8"},{"key":"e_1_3_2_1_76_1","doi-asserted-by":"crossref","unstructured":"Kaiyuan Wang Allison Sullivan Darko Marinov and Sarfraz Khurshid. 2018. ASketch: A Sketching Framework for Alloy. In FSE.  Kaiyuan Wang Allison Sullivan Darko Marinov and Sarfraz Khurshid. 2018. ASketch: A Sketching Framework for Alloy. In FSE.","DOI":"10.1145\/3236024.3264594"},{"key":"e_1_3_2_1_77_1","unstructured":"Kaiyuan Wang Allison Sullivan Darko Marinov and Sarfraz Khurshid. 2018. Fault Localization for Declarative Models in Alloy. In eprint arXiv:1807.08707.  Kaiyuan Wang Allison Sullivan Darko Marinov and Sarfraz Khurshid. 2018. Fault Localization for Declarative Models in Alloy. In eprint arXiv:1807.08707."},{"key":"e_1_3_2_1_78_1","doi-asserted-by":"crossref","unstructured":"Kaiyuan Wang Allison Sullivan Darko Marinov and Sarfraz Khurshid. 2018. Solver-based Sketching Alloy Models using Test Valuations. In ABZ.  Kaiyuan Wang Allison Sullivan Darko Marinov and Sarfraz Khurshid. 2018. Solver-based Sketching Alloy Models using Test Valuations. In ABZ.","DOI":"10.1007\/978-3-319-91271-4_9"},{"key":"e_1_3_2_1_79_1","doi-asserted-by":"publisher","DOI":"10.1145\/1831708.1831716"},{"key":"e_1_3_2_1_80_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2013.6693094"},{"key":"e_1_3_2_1_81_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070536"},{"key":"e_1_3_2_1_82_1","doi-asserted-by":"publisher","DOI":"10.1145\/3092703.3092718"},{"key":"e_1_3_2_1_83_1","doi-asserted-by":"crossref","unstructured":"Qi Xin and Steven P Reiss. 2017. Leveraging syntax-related code for automated program repair. In ASE.   Qi Xin and Steven P Reiss. 2017. Leveraging syntax-related code for automated program repair. In ASE.","DOI":"10.1109\/ASE.2017.8115676"},{"key":"e_1_3_2_1_84_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2017.45"},{"key":"e_1_3_2_1_85_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSME.2014.41"},{"key":"e_1_3_2_1_86_1","doi-asserted-by":"crossref","unstructured":"Zijiang Yang Jinru Hua Kaiyuan Wang and Sarfraz Khurshid. 2018. EdSynth: Synthesizing API Sequences with Conditionals and Loops. In ICST.  Zijiang Yang Jinru Hua Kaiyuan Wang and Sarfraz Khurshid. 2018. EdSynth: Synthesizing API Sequences with Conditionals and Loops. In ICST.","DOI":"10.1109\/ICST.2018.00025"},{"key":"e_1_3_2_1_87_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-017-9578-1"}],"event":{"name":"ASE '18: 33rd ACM\/IEEE International Conference on Automated Software Engineering","sponsor":["SIGAI ACM Special Interest Group on Artificial Intelligence","CNRS Centre National De La Rechercue Scientifique","SIGSOFT ACM Special Interest Group on Software Engineering","IEEE-CS Computer Society"],"location":"Montpellier France","acronym":"ASE '18"},"container-title":["Proceedings of the 33rd ACM\/IEEE International Conference on Automated Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3238147.3238162","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3238147.3238162","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3238147.3238162","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:39:35Z","timestamp":1750210775000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3238147.3238162"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,9,3]]},"references-count":87,"alternative-id":["10.1145\/3238147.3238162","10.1145\/3238147"],"URL":"https:\/\/doi.org\/10.1145\/3238147.3238162","relation":{},"subject":[],"published":{"date-parts":[[2018,9,3]]},"assertion":[{"value":"2018-09-03","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}