{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,11]],"date-time":"2026-07-11T10:14:25Z","timestamp":1783764865560,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":72,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,5,21]],"date-time":"2022-05-21T00:00:00Z","timestamp":1653091200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100004063","name":"Knut och Alice Wallenbergs Stiftelse","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100004063","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,5,21]]},"DOI":"10.1145\/3510003.3510620","type":"proceedings-article","created":{"date-parts":[[2022,7,5]],"date-time":"2022-07-05T22:42:59Z","timestamp":1657060979000},"page":"1768-1780","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":15,"title":["PropR"],"prefix":"10.1145","author":[{"given":"Matth\u00edas P\u00e1ll","family":"Gissurarson","sequence":"first","affiliation":[{"name":"Chalmers University of Technology, Gothenburg, Sweden"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Leonhard","family":"Applis","sequence":"additional","affiliation":[{"name":"TU Delft, Delft, Netherlands"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Annibale","family":"Panichella","sequence":"additional","affiliation":[{"name":"TU Delft, Delft, Netherlands"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Arie","family":"van Deursen","sequence":"additional","affiliation":[{"name":"TU Delft, Delft, Netherlands"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"David","family":"Sands","sequence":"additional","affiliation":[{"name":"Chalmers University of Technology, Gothenburg, Sweden"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2022,7,5]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2009.06.035"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"crossref","unstructured":"Wasi Uddin Ahmad Saikat Chakraborty Baishakhi Ray and Kai-Wei Chang. 2021. Unified Pre-training for Program Understanding and Generation. arXiv:2103.06333 [cs.CL]","DOI":"10.18653\/v1\/2021.naacl-main.211"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/TEVC.2003.814633"},{"key":"e_1_3_2_1_4_1","volume-title":"On the Use of Dependabot Security Pull Requests. In 2021 IEEE\/ACM 18th International Conference on Mining Software Repositories (MSR). IEEE, 254--265","author":"Alfadel Mahmoud","year":"2021","unstructured":"Mahmoud Alfadel, Diego Elias Costa, Emad Shihab, and Mouafak Mkhallalati. 2021. On the Use of Dependabot Security Pull Requests. In 2021 IEEE\/ACM 18th International Conference on Mining Software Repositories (MSR). IEEE, 254--265."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-23716-4_6"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2993600.2993611"},{"key":"e_1_3_2_1_7_1","unstructured":"Mark Chen Jerry Tworek Heewoo Jun Qiming Yuan Henrique Ponde de Oliveira Pinto Jared Kaplan Harri Edwards Yuri Burda Nicholas Joseph Greg Brockman Alex Ray Raul Puri Gretchen Krueger Michael Petrov Heidy Khlaaf Girish Sastry Pamela Mishkin Brooke Chan Scott Gray Nick Ryder Mikhail Pavlov Alethea Power Lukasz Kaiser Mohammad Bavarian Clemens Winter Philippe Tillet Felipe Petroski Such Dave Cummings Matthias Plappert Fotios Chantzis Elizabeth Barnes Ariel Herbert-Voss William Hebgen Guss Alex Nichol Alex Paino Nikolas Tezak Jie Tang Igor Babuschkin Suchir Balaji Shantanu Jain William Saunders Christopher Hesse Andrew N. Carr Jan Leike Josh Achiam Vedant Misra Evan Morikawa Alec Radford Matthew Knight Miles Brundage Mira Murati Katie Mayer Peter Welinder Bob McGrew Dario Amodei Sam McCandlish Ilya Sutskever and Wojciech Zaremba. 2021. Evaluating Large Language Models Trained on Code. arXiv:2107.03374 [cs.LG]"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/351240.351266"},{"key":"e_1_3_2_1_9_1","volume-title":"Patch Quality and Diversity of Invariant-Guided Search-Based Program Repair. arXiv preprint arXiv:2003.11667","author":"Ding Zhen Yu","year":"2020","unstructured":"Zhen Yu Ding. 2020. Patch Quality and Diversity of Invariant-Guided Search-Based Program Repair. arXiv preprint arXiv:2003.11667 (2020)."},{"key":"e_1_3_2_1_10_1","first-page":"44","article-title":"An overview of Pandoc","volume":"35","author":"Dominici Massimiliano","year":"2014","unstructured":"Massimiliano Dominici. 2014. An overview of Pandoc. TUGboat 35, 1 (2014), 44--50.","journal-title":"TUGboat"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3338906.3338911"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2896921.2896931"},{"key":"e_1_3_2_1_14_1","volume-title":"Ashutosh Verma, Fernanda Madeiral, Douglas Wikstrom, and Martin Monperrus.","author":"Etemadi Khashayar","year":"2021","unstructured":"Khashayar Etemadi, Nicolas Harrand, Simon Larsen, Haris Adzemovic, Henry Luong Phu, Ashutosh Verma, Fernanda Madeiral, Douglas Wikstrom, and Martin Monperrus. 2021. Sorald: Automatic Patch Suggestions for SonarQube Static Analysis Violations. arXiv preprint arXiv:2103.12033 (2021)."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025179"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2019.00116"},{"key":"e_1_3_2_1_17_1","unstructured":"GHC Contributors. 2021. GHC 8.10.4 users guide. https:\/\/downloads.haskell.org\/~ghc\/8.10.4\/docs\/html\/users_guide\/index.html"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1291201.1291203"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3242744.3242760"},{"key":"e_1_3_2_1_20_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 Tools and Algorithms for the Construction and Analysis of Systems, Parosh Aziz Abdulla and K. Rustan M. Leino (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 173--188."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/3371080"},{"key":"e_1_3_2_1_22_1","volume-title":"Random testing. Encyclopedia of software Engineering 2","author":"Hamlet Richard","year":"1994","unstructured":"Richard Hamlet. 1994. Random testing. Encyclopedia of software Engineering 2 (1994), 971--978."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"crossref","unstructured":"John Henry Holland et al. 1992. Adaptation in natural and artificial systems: an introductory analysis with applications to biology control and artificial intelligence. MIT press.","DOI":"10.7551\/mitpress\/1090.001.0001"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3428273"},{"key":"e_1_3_2_1_25_1","volume-title":"Proceedings of AAIP 2011 4th International Workshop on Approaches and Applications of Inductive Programming. 63","author":"Katayama Susumu","year":"2011","unstructured":"Susumu Katayama. 2011. MagicHaskeller: System demonstration. In Proceedings of AAIP 2011 4th International Workshop on Approaches and Applications of Inductive Programming. 63."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/307988.307989"},{"key":"e_1_3_2_1_27_1","unstructured":"Edward Kmett. 2021. The lens library. https:\/\/hackage.haskell.org\/package\/lens"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2015.7381813"},{"key":"e_1_3_2_1_29_1","unstructured":"Rainer Koschke. 2007. Survey of Research on Software Clones. In Duplication Redundancy and Similarity in Software (Dagstuhl Seminar Proceedings 06301) Rainer Koschke Ettore Merlo and Andrew Walenstein (Eds.). Internationales Begegnungs- und Forschungszentrum f\u00fcr Informatik (IBFI) Schloss Dagstuhl Germany Dagstuhl Germany. http:\/\/drops.dagstuhl.de\/opus\/volltexte\/2007\/962"},{"key":"e_1_3_2_1_30_1","volume-title":"Automated Deduction---A Basis for Applications","author":"Kreitz Christoph","unstructured":"Christoph Kreitz. 1998. Program synthesis. In Automated Deduction---A Basis for Applications. Springer, 105--134."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2017.2755651"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-013-9208-0"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2015.2454513"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2011.104"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/3276528"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/3395363.3397369"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065018"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-016-9470-4"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/2931037.2948705"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2019.01.069"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/2591062.2591114"},{"key":"e_1_3_2_1_42_1","volume-title":"Applying CodeBERT for Automated Program Repair of Java Simple Bugs. arXiv preprint arXiv:2103.11626","author":"Mashhadi Ehsan","year":"2021","unstructured":"Ehsan Mashhadi and Hadi Hemmati. 2021. Applying CodeBERT for Automated Program Repair of Java Simple Bugs. arXiv preprint arXiv:2103.11626 (2021)."},{"key":"e_1_3_2_1_43_1","volume-title":"International Conference on the Theory and Application of Cryptology. Springer, 133--150","author":"Meadows Catherine A","year":"1994","unstructured":"Catherine A Meadows. 1994. Formal verification of cryptographic protocols: A survey. In International Conference on the Theory and Application of Cryptology. Springer, 133--150."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884807"},{"key":"e_1_3_2_1_45_1","volume-title":"Transformed Vargha-Delaney Effect Size","author":"Neumann Geoffrey","unstructured":"Geoffrey Neumann, Mark Harman, and Simon Poulding. 2015. Transformed Vargha-Delaney Effect Size. In Search-Based Software Engineering, M\u00e1rcio Barros and Yvan Labiche (Eds.). Springer International Publishing, Cham, 318--324."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST49551.2021.00033"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.2346"},{"key":"e_1_3_2_1_48_1","volume-title":"An introduction to liquid haskell. arXiv preprint arXiv:1701.03320","author":"Pe\u00f1a Ricardo","year":"2017","unstructured":"Ricardo Pe\u00f1a. 2017. An introduction to liquid haskell. arXiv preprint arXiv:1701.03320 (2017)."},{"key":"e_1_3_2_1_49_1","volume-title":"The pairwise multiple comparison of mean ranks package (PMCMR). R package 27","author":"Pohlert Thorsten","year":"2019","unstructured":"Thorsten Pohlert. 2014. The pairwise multiple comparison of mean ranks package (PMCMR). R package 27, 2019 (2014), 9."},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/2908080.2908093"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/3408987"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2013.29"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568254"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/2771783.2771791"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1111\/j.1558-5646.1995.tb04456.x"},{"key":"e_1_3_2_1_56_1","volume-title":"Toward Hole-Driven Development with Liquid Haskell. arXiv preprint arXiv:2110.04461","author":"Redmond Patrick","year":"2021","unstructured":"Patrick Redmond, Gan Shen, and Lindsey Kuper. 2021. Toward Hole-Driven Development with Liquid Haskell. arXiv preprint arXiv:2110.04461 (2021)."},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375602"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1145\/1411286.1411292"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2017.8115675"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/1706299.1706337"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISSREW.2018.00008"},{"key":"e_1_3_2_1_62_1","volume-title":"2018 IEEE\/ACM 40th International Conference on Software Engineering: Software Engineering in Practice Track (ICSE-SEIP). IEEE, 95--104","author":"Urli Simon","year":"2018","unstructured":"Simon Urli, Zhongxing Yu, Lionel Seinturier, and Martin Monperrus. 2018. How to design a program repair bot? insights from the repairnator project. In 2018 IEEE\/ACM 40th International Conference on Software Engineering: Software Engineering in Practice Track (ICSE-SEIP). IEEE, 95--104."},{"key":"e_1_3_2_1_63_1","first-page":"101","article-title":"A critique and improvement of the CL common language effect size statistics of McGraw and Wong","volume":"25","author":"Vargha Andr\u00e1s","year":"2000","unstructured":"Andr\u00e1s Vargha and Harold D Delaney. 2000. A critique and improvement of the CL common language effect size statistics of McGraw and Wong. Journal of Educational and Behavioral Statistics 25, 2 (2000), 101--132.","journal-title":"Journal of Educational and Behavioral Statistics"},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1145\/3156695.3122963"},{"key":"e_1_3_2_1_65_1","volume-title":"Dynamic neural program embedding for program repair. arXiv preprint arXiv:1711.07163","author":"Wang Ke","year":"2017","unstructured":"Ke Wang, Rishabh Singh, and Zhendong Su. 2017. Dynamic neural program embedding for program repair. arXiv preprint arXiv:1711.07163 (2017)."},{"key":"e_1_3_2_1_66_1","volume-title":"An empirical analysis of the influence of fault space on search-based automated program repair. arXiv preprint arXiv:1707.05172","author":"Wen Ming","year":"2017","unstructured":"Ming Wen, Junjie Chen, Rongxin Wu, Dan Hao, and Shing-Chi Cheung. 2017. An empirical analysis of the influence of fault space on search-based automated program repair. arXiv preprint arXiv:1707.05172 (2017)."},{"key":"e_1_3_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-C.2017.42"},{"key":"e_1_3_2_1_68_1","doi-asserted-by":"publisher","DOI":"10.1145\/3092703.3092718"},{"key":"e_1_3_2_1_69_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2017.8115676"},{"key":"e_1_3_2_1_70_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2020.110825"},{"key":"e_1_3_2_1_71_1","volume-title":"Test case generation for program repair: A study of feasibility and effectiveness. arXiv preprint arXiv:1703.00198","author":"Yu Zhongxing","year":"2017","unstructured":"Zhongxing Yu, Matias Martinez, Benjamin Danglot, Thomas Durieux, and Martin Monperrus. 2017. Test case generation for program repair: A study of feasibility and effectiveness. arXiv preprint arXiv:1703.00198 (2017)."},{"key":"e_1_3_2_1_72_1","volume-title":"ARJA: Automated repair of Java programs via multi-objective genetic programming. arXiv 46, 10","author":"Yuan Yuan","year":"2017","unstructured":"Yuan Yuan and Wolfgang Banzhaf. 2017. ARJA: Automated repair of Java programs via multi-objective genetic programming. arXiv 46, 10 (2017), 1040--1067. arXiv:1712.07804"},{"key":"e_1_3_2_1_73_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2018.00035"}],"event":{"name":"ICSE '22: 44th International Conference on Software Engineering","location":"Pittsburgh Pennsylvania","acronym":"ICSE '22","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"]},"container-title":["Proceedings of the 44th International Conference on Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3510003.3510620","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3510003.3510620","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:12:24Z","timestamp":1750191144000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3510003.3510620"}},"subtitle":["property-based automatic program repair"],"short-title":[],"issued":{"date-parts":[[2022,5,21]]},"references-count":72,"alternative-id":["10.1145\/3510003.3510620","10.1145\/3510003"],"URL":"https:\/\/doi.org\/10.1145\/3510003.3510620","relation":{},"subject":[],"published":{"date-parts":[[2022,5,21]]},"assertion":[{"value":"2022-07-05","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}