{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,27]],"date-time":"2026-08-27T09:09:59Z","timestamp":1787821799233,"version":"build-2784847793"},"publisher-location":"New York, NY, USA","reference-count":22,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,7,10]],"date-time":"2024-07-10T00:00:00Z","timestamp":1720569600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,7,10]]},"DOI":"10.1145\/3663529.3663789","type":"proceedings-article","created":{"date-parts":[[2024,7,10]],"date-time":"2024-07-10T19:43:13Z","timestamp":1720640593000},"page":"517-521","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Execution-Free Program Repair"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3531-4045","authenticated-orcid":false,"given":"Li","family":"Huang","sequence":"first","affiliation":[{"name":"Constructor Institute, Schaffhausen, Switzerland"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5985-7434","authenticated-orcid":false,"given":"Bertrand","family":"Meyer","sequence":"additional","affiliation":[{"name":"Constructor Institute, Schaffhausen, Switzerland"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0007-0476-5966","authenticated-orcid":false,"given":"Ilgiz","family":"Mustafin","sequence":"additional","affiliation":[{"name":"Constructor Institute, Schaffhausen, Switzerland"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4069-7626","authenticated-orcid":false,"given":"Manuel","family":"Oriol","sequence":"additional","affiliation":[{"name":"Constructor Institute, Schaffhausen, Switzerland"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2024,7,10]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"International Conference on Formal Verification of Object-Oriented Software (FoVeOO). 3\u201321","author":"Bormer Thorsten","year":"2011","unstructured":"Thorsten Bormer, Marc Brockschmidt, and Dino Distefano. 2011. The COST IC0701 Verification Competition. In International Conference on Formal Verification of Object-Oriented Software (FoVeOO). 3\u201321."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2017.8115674"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"e_1_3_2_1_4_1","volume-title":"The Daikon system for dynamic detection of likely invariants. Science of computer programming, 69, 1-3","author":"Ernst Michael D","year":"2007","unstructured":"Michael D Ernst, Jeff H Perkins, Philip J Guo, Stephen McCamant, Carlos Pacheco, Matthew S Tschantz, and Chen Xiao. 2007. The Daikon system for dynamic detection of likely invariants. Science of computer programming, 69, 1-3 (2007), 35\u201345."},{"key":"e_1_3_2_1_5_1","volume-title":"The 1st Verified Software Competition: Experience Report. In International Symposium on Formal Methods (FM). 154\u2013168","author":"Klebanov Vladimir","year":"2011","unstructured":"Vladimir Klebanov and Peter M\u00fcller. 2011. The 1st Verified Software Competition: Experience Report. In International Symposium on Formal Methods (FM). 154\u2013168."},{"key":"e_1_3_2_1_6_1","volume-title":"The Boogie Verification Debugger. In International Conference on Software Engineering and Formal Methods (SEFM). 407\u2013414","author":"Goues Claire Le","year":"2011","unstructured":"Claire Le Goues, K Rustan M Leino, and Micha\u0142 Moskal. 2011. The Boogie Verification Debugger. In International Conference on Software Engineering and Formal Methods (SEFM). 407\u2013414."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2011.104"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2398857.2384626"},{"key":"e_1_3_2_1_9_1","volume-title":"Workshop on Reliability Analysis of System Failure Data (RAF).","author":"Meyer Bertrand","year":"2007","unstructured":"Bertrand Meyer, Ilinca Ciupa, Lisa Ling Liu, Manuel Oriol, Andreas Leitner, and Raluca Borca-Muresan. 2007. Systematic evaluation of test failure results. In Workshop on Reliability Analysis of System Failure Data (RAF)."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3105906"},{"key":"e_1_3_2_1_11_1","unstructured":"Martin Monperrus. 2018. The living review on automated program repair. Ph. D. Dissertation. HAL Archives Ouvertes."},{"key":"e_1_3_2_1_12_1","volume-title":"International Conference on Software Engineering (ICSE). 772\u2013781","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 International Conference on Software Engineering (ICSE). 772\u2013781."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-11245-5_4"},{"key":"e_1_3_2_1_14_1","first-page":"2159","volume-title":"International Conference on Software Testing, Verification and Validation (ICST). IEEE, 229\u2013240","author":"Nilizadeh A.","unstructured":"A. Nilizadeh, G. T. Leavens, X. D. Le, C. S. Pasareanu, and D. R. Cok. 2021. Exploring true test overfitting in dynamic automated program repair using formal methods. In International Conference on Software Testing, Verification and Validation (ICST). IEEE, 229\u2013240. issn:2159-4848"},{"key":"e_1_3_2_1_15_1","volume-title":"Companion to the 22nd ACM SIGPLAN conference on Object-oriented programming systems and applications companion. ACM, 815\u2013816.","author":"Pacheco Carlos","unstructured":"Carlos Pacheco and Michael D Ernst. 2007. Randoop: feedback-directed random testing for Java. In Companion to the 22nd ACM SIGPLAN conference on Object-oriented programming systems and applications companion. ACM, 815\u2013816."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2015.222"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2014.2312918"},{"key":"e_1_3_2_1_18_1","volume-title":"International Conference on Tests and Proofs (TAP). 134\u2013153","author":"Tillmann Nikolai","year":"2008","unstructured":"Nikolai Tillmann and Jonathan De Halleux. 2008. Pex\u2013White Box Test Generation for .Net. In International Conference on Tests and Proofs (TAP). 134\u2013153."},{"key":"e_1_3_2_1_19_1","volume-title":"Autoproof: Auto-active Functional Verification of Object-Oriented Programs. In International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS). 566\u2013580","author":"Tschannen Julian","year":"2015","unstructured":"Julian Tschannen, Carlo A Furia, Martin Nordio, and Nadia Polikarpova. 2015. Autoproof: Auto-active Functional Verification of Object-Oriented Programs. In International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS). 566\u2013580."},{"key":"e_1_3_2_1_20_1","volume-title":"Static Automated Program Repair for Heap Properties. In International Conference on Software Engineering (ICSE). ACM, 151\u2013162","author":"van Tonder Rijnard","year":"2018","unstructured":"Rijnard van Tonder and Claire Le Goues. 2018. Static Automated Program Repair for Heap Properties. In International Conference on Software Engineering (ICSE). ACM, 151\u2013162. isbn:9781450356381"},{"key":"e_1_3_2_1_21_1","volume-title":"Satisfying Test Preconditions Through Guided Object Selection. In International Conference on Software Testing, Verification and Validation (ICST). 303\u2013312","author":"Wei Yi","year":"2010","unstructured":"Yi Wei, Serge Gebhardt, Bertrand Meyer, and Manuel Oriol. 2010. Satisfying Test Preconditions Through Guided Object Selection. In International Conference on Software Testing, Verification and Validation (ICST). 303\u2013312."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2016.2560811"}],"event":{"name":"FSE '24: 32nd ACM International Conference on the Foundations of Software Engineering","location":"Porto de Galinhas Brazil","acronym":"FSE '24","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3663529.3663789","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3663529.3663789","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T23:44:20Z","timestamp":1750290260000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3663529.3663789"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,7,10]]},"references-count":22,"alternative-id":["10.1145\/3663529.3663789","10.1145\/3663529"],"URL":"https:\/\/doi.org\/10.1145\/3663529.3663789","relation":{},"subject":[],"published":{"date-parts":[[2024,7,10]]},"assertion":[{"value":"2024-07-10","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}