{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,31]],"date-time":"2026-07-31T17:18:31Z","timestamp":1785518311977,"version":"3.56.0"},"publisher-location":"New York, NY, USA","reference-count":63,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,1,5]],"date-time":"2024-01-05T00:00:00Z","timestamp":1704412800000},"content-version":"vor","delay-in-days":452,"URL":"http:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000183","name":"Army Research Office","doi-asserted-by":"publisher","award":["W911NF- 19-1-0054"],"award-info":[{"award-number":["W911NF- 19-1-0054"]}],"id":[{"id":"10.13039\/100000183","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100003074","name":"Agencia Nacional de Promoci\u00f3n Cient\u00edfica y Tecnol\u00f3gica","doi-asserted-by":"publisher","award":["PICT 2017-2622, PICT 2019-2050"],"award-info":[{"award-number":["PICT 2017-2622, PICT 2019-2050"]}],"id":[{"id":"10.13039\/501100003074","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["1948536, 1755890, 1618132, 2107035"],"award-info":[{"award-number":["1948536, 1755890, 1618132, 2107035"]}],"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":[[2022,10,10]]},"DOI":"10.1145\/3551349.3556944","type":"proceedings-article","created":{"date-parts":[[2023,1,5]],"date-time":"2023-01-05T20:43:54Z","timestamp":1672951434000},"page":"1-13","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":13,"title":["ICEBAR: Feedback-Driven Iterative Repair of Alloy Specifications"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3115-2739","authenticated-orcid":false,"given":"Sim\u00f3n","family":"Guti\u00e9rrez Brida","sequence":"first","affiliation":[{"name":"Department of Computer Science, University of Rio Cuarto, Argentina and CONICET, Argentina"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0979-4623","authenticated-orcid":false,"given":"Germ\u00e1n","family":"Regis","sequence":"additional","affiliation":[{"name":"Department of Computer Science, University of Rio Cuarto, Argentina"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1996-2635","authenticated-orcid":false,"given":"Guolong","family":"Zheng","sequence":"additional","affiliation":[{"name":"University of Nebraska-Lincoln, United States of America"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6686-466X","authenticated-orcid":false,"given":"Hamid","family":"Bagheri","sequence":"additional","affiliation":[{"name":"University of Nebraska-Lincoln, United States of America"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4255-4592","authenticated-orcid":false,"given":"Thanhvu","family":"Nguyen","sequence":"additional","affiliation":[{"name":"George Mason University, United States of America"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0532-5296","authenticated-orcid":false,"given":"Nazareno","family":"Aguirre","sequence":"additional","affiliation":[{"name":"Department of Computer Science, University of Rio Cuarto, Argentina and CONICET, Argentina"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5592-1355","authenticated-orcid":false,"given":"Marcelo","family":"Frias","sequence":"additional","affiliation":[{"name":"Department of Software Engineering, Buenos Aires Institute of Technology, Argentina and CONICET, Argentina"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2023,1,5]]},"reference":[{"key":"e_1_3_2_2_1_1","unstructured":"2020. ExCAPE project. https:\/\/excape.cis.upenn.edu\/."},{"key":"e_1_3_2_2_2_1","unstructured":"2020. SyGuS. https:\/\/sygus.org\/."},{"key":"e_1_3_2_2_3_1","unstructured":"2022. ICEBAR replication package. https:\/\/sites.google.com\/view\/icebar-evaluation."},{"key":"e_1_3_2_2_4_1","unstructured":"2022 (accessed August 31 2022). ICEBAR\u2019s Github Repository. https:\/\/github.com\/saiema\/ICEBAR."},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2013.46"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3395363.3397347"},{"key":"e_1_3_2_2_7_1","volume-title":"Model and program repair via sat solving","author":"Attie Paul","unstructured":"Paul Attie, Ali Cherri, Kinan\u00a0Dak Al\u00a0Bab, Mohamad Sakr, and Jad Saklawi. 2015. Model and program repair via sat solving. In MEMOCODE. IEEE, 148\u2013157."},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-017-0445-z"},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2016.53"},{"key":"e_1_3_2_2_10_1","volume-title":"Hardware and Software: Verification and Testing","author":"Bloem Roderick","unstructured":"Roderick Bloem, Rolf Drechsler, G\u00f6rschwin Fey, Alexander Finder, Georg Hofferek, Robert K\u00f6nighofer, Jaan Raik, Urmas Repinski, and Andr\u00e9 S\u00fclflow. 2013. FoREnSiC\u2013 An Automatic Debugging Environment for C Programs. In Hardware and Software: Verification and Testing, Armin Biere, Amir Nahir, and Tanja Vos (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 260\u2013265."},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE43902.2021.00105"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2009.15"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2010.66"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1146238.1146251"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2013.15"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1831708.1831712"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19835-9_15"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"crossref","unstructured":"Sumit Gulwani. 2011. Automating String Processing in Spreadsheets Using Input-output Examples. In POPL (Austin Texas USA). ACM 317\u2013330.","DOI":"10.1145\/1926385.1926423"},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2240236.2240260"},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v31i1.10742"},{"key":"e_1_3_2_2_21_1","volume-title":"Software Abstractions - Logic, Language, and Analysis","author":"Jackson Daniel","unstructured":"Daniel Jackson. 2006. Software Abstractions - Logic, Language, and Analysis. MIT Press."},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993316.1993544"},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"crossref","unstructured":"Barbara Jobstmann Andreas Griesmayer and Roderick Bloem. 2005. Program repair as a game. In Computer Aided Verification. 226\u2013238.","DOI":"10.1007\/11513988_23"},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2011.6100137"},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/3468264.3473116"},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606626"},{"key":"e_1_3_2_2_27_1","volume-title":"Fixminer: Mining relevant fix patterns for automated program repair. Empirical Software Engineering(2020), 1\u201345.","author":"Koyuncu Anil","year":"2020","unstructured":"Anil Koyuncu, Kui Liu, Tegawend\u00e9\u00a0F Bissyand\u00e9, Dongsun Kim, Jacques Klein, Martin Monperrus, and Yves Le\u00a0Traon. 2020. Fixminer: Mining relevant fix patterns for automated program repair. Empirical Software Engineering(2020), 1\u201345."},{"key":"e_1_3_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3338906.3338935"},{"key":"e_1_3_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/3092703.3098225"},{"key":"e_1_3_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106309"},{"key":"e_1_3_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3182536"},{"key":"e_1_3_2_2_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2011.104"},{"key":"e_1_3_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/3377811.3380345"},{"key":"e_1_3_2_2_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/3293882.3330577"},{"key":"e_1_3_2_2_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786811"},{"key":"e_1_3_2_2_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837617"},{"key":"e_1_3_2_2_37_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-48077-6_5"},{"key":"e_1_3_2_2_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2015.63"},{"key":"e_1_3_2_2_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884807"},{"key":"e_1_3_2_2_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/3338906.3340455"},{"key":"e_1_3_2_2_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884853"},{"key":"e_1_3_2_2_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606623"},{"key":"e_1_3_2_2_43_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-54577-5_17"},{"key":"e_1_3_2_2_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/2771783.2771791"},{"key":"e_1_3_2_2_45_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2017.8115675"},{"key":"e_1_3_2_2_46_1","doi-asserted-by":"crossref","unstructured":"Rishabh Singh Sumit Gulwani and Armando Solar-Lezama. 2013. Automated feedback generation for introductory programming assignments. In PLDI. ACM 15\u201326.","DOI":"10.1145\/2491956.2462195"},{"key":"e_1_3_2_2_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786825"},{"key":"e_1_3_2_2_48_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-012-0249-7"},{"key":"e_1_3_2_2_49_1","doi-asserted-by":"crossref","unstructured":"Saurabh Srivastava Sumit Gulwani and Jeffrey\u00a0S. Foster. 2010. From program verification to program synthesis. In POPL. ACM 313\u2013326.","DOI":"10.1145\/1706299.1706337"},{"key":"e_1_3_2_2_50_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-012-0223-4"},{"key":"e_1_3_2_2_51_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2018.00047"},{"key":"e_1_3_2_2_52_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2017.31"},{"key":"e_1_3_2_2_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/2950290.2950295"},{"key":"e_1_3_2_2_54_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71209-1_49"},{"key":"e_1_3_2_2_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/3238147.3238162"},{"key":"e_1_3_2_2_56_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-Companion.2019.00049"},{"key":"e_1_3_2_2_57_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-91271-4_8"},{"key":"e_1_3_2_2_58_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE5003.2020.00044"},{"key":"e_1_3_2_2_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180233"},{"key":"e_1_3_2_2_60_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2016.2560811"},{"key":"e_1_3_2_2_61_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2017.2655056"},{"key":"e_1_3_2_2_62_1","doi-asserted-by":"publisher","DOI":"10.1145\/3282517.3282528"},{"key":"e_1_3_2_2_63_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE43902.2021.00065"}],"event":{"name":"ASE '22: 37th IEEE\/ACM International Conference on Automated Software Engineering","location":"Rochester MI USA","acronym":"ASE '22"},"container-title":["Proceedings of the 37th IEEE\/ACM International Conference on Automated Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3551349.3556944","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3551349.3556944","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3551349.3556944","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T08:29:14Z","timestamp":1755851354000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3551349.3556944"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,10,10]]},"references-count":63,"alternative-id":["10.1145\/3551349.3556944","10.1145\/3551349"],"URL":"https:\/\/doi.org\/10.1145\/3551349.3556944","relation":{},"subject":[],"published":{"date-parts":[[2022,10,10]]},"assertion":[{"value":"2023-01-05","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}