{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,3]],"date-time":"2026-06-03T22:06:52Z","timestamp":1780524412514,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":51,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,7,13]],"date-time":"2015-07-13T00:00:00Z","timestamp":1436745600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000185","name":"Defense Advanced Research Projects Agency","doi-asserted-by":"publisher","award":["FA8650-11-C-7192"],"award-info":[{"award-number":["FA8650-11-C-7192"]}],"id":[{"id":"10.13039\/100000185","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2015,7,13]]},"DOI":"10.1145\/2771783.2771791","type":"proceedings-article","created":{"date-parts":[[2015,7,10]],"date-time":"2015-07-10T14:10:55Z","timestamp":1436537455000},"page":"24-36","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":305,"title":["An analysis of patch plausibility and correctness for generate-and-validate patch generation systems"],"prefix":"10.1145","author":[{"given":"Zichao","family":"Qi","sequence":"first","affiliation":[{"name":"Massachusetts Institute of Technology, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Fan","family":"Long","sequence":"additional","affiliation":[{"name":"Massachusetts Institute of Technology, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sara","family":"Achour","sequence":"additional","affiliation":[{"name":"Massachusetts Institute of Technology, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Martin","family":"Rinard","sequence":"additional","affiliation":[{"name":"Massachusetts Institute of Technology, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2015,7,13]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"AE results. http:\/\/dijkstra.cs.virginia.edu\/ genprog\/resources\/genprog-ase2013-results.zip.  AE results. http:\/\/dijkstra.cs.virginia.edu\/ genprog\/resources\/genprog-ase2013-results.zip."},{"key":"e_1_3_2_1_2_1","unstructured":"CVE-2006-2025. http:\/\/cve.mitre.org\/cgi-bin\/ cvename.cgi?name=CVE-2006-2025.  CVE-2006-2025. http:\/\/cve.mitre.org\/cgi-bin\/ cvename.cgi?name=CVE-2006-2025."},{"key":"e_1_3_2_1_3_1","unstructured":"GenProg benchmarks. http:\/\/dijkstra.cs.virginia.edu\/genprog\/ resources\/genprog-icse2012-benchmarks\/.  GenProg benchmarks. http:\/\/dijkstra.cs.virginia.edu\/genprog\/ resources\/genprog-icse2012-benchmarks\/."},{"key":"e_1_3_2_1_4_1","unstructured":"GenProg results. http:\/\/dijkstra.cs.virginia.edu\/ genprog\/resources\/genprog-icse2012-results.zip.  GenProg results. http:\/\/dijkstra.cs.virginia.edu\/ genprog\/resources\/genprog-icse2012-results.zip."},{"key":"e_1_3_2_1_5_1","unstructured":"GenProg source code. http:\/\/dijkstra.cs.virginia.edu\/genprog\/ resources\/genprog-source-v3.0.zip.  GenProg source code. http:\/\/dijkstra.cs.virginia.edu\/genprog\/ resources\/genprog-source-v3.0.zip."},{"key":"e_1_3_2_1_6_1","unstructured":"GenProg virtual machine. http:\/\/dijkstra.cs. virginia.edu\/genprog\/resources\/genprog_images.  GenProg virtual machine. http:\/\/dijkstra.cs. virginia.edu\/genprog\/resources\/genprog_images."},{"key":"e_1_3_2_1_7_1","unstructured":"RSRepair results. http: \/\/sourceforge.net\/projects\/rsrepair\/files\/.  RSRepair results. http: \/\/sourceforge.net\/projects\/rsrepair\/files\/."},{"key":"e_1_3_2_1_8_1","volume-title":"May","author":"Goues Claire Le","year":"2015","unstructured":"Claire Le Goues , personal communication , May 2015 . Claire Le Goues, personal communication, May 2015."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1133255.1134000"},{"key":"e_1_3_2_1_10_1","first-page":"633","volume-title":"ECOOP 2011\u2013Object-Oriented Programming","author":"Carbin M.","unstructured":"M. Carbin , S. Misailovic , M. Kling , and M. C. Rinard . Detecting and escaping infinite loops with jolt . In ECOOP 2011\u2013Object-Oriented Programming , pages 609\u2013 633 . Springer, 2011. M. Carbin, S. Misailovic, M. Kling, and M. C. Rinard. Detecting and escaping infinite loops with jolt. In ECOOP 2011\u2013Object-Oriented Programming, pages 609\u2013633. Springer, 2011."},{"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\/949305.949314"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1062455.1062499"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/951952.952351"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2008.59"},{"key":"e_1_3_2_1_18_1","volume-title":"Automatic repair of real bugs: An experience report on the defects4j dataset. arXiv, abs\/1505.07002","author":"Durieux T.","year":"2015","unstructured":"T. Durieux , M. Martinez , M. Monperrus , R. Sommerard , and J. Xuan . Automatic repair of real bugs: An experience report on the defects4j dataset. arXiv, abs\/1505.07002 , 2015 . T. Durieux, M. Martinez, M. Monperrus, R. Sommerard, and J. Xuan. Automatic repair of real bugs: An experience report on the defects4j dataset. arXiv, abs\/1505.07002, 2015."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1321631.1321643"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1830483.1830654"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1569901.1570031"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2338965.2336775"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568250"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/2818754.2818812"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/2337223.2337225"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2610384.2628055"},{"key":"e_1_3_2_1_27_1","first-page":"811","volume-title":"Proceedings of the 2013 International Conference on Software Engineering","author":"Kim D.","unstructured":"D. Kim , J. Nam , J. Song , and S. Kim . Automatic patch generation learned from human-written patches . In Proceedings of the 2013 International Conference on Software Engineering , pages 802\u2013 811 . IEEE Press, 2013. D. Kim, J. Nam, J. Song, and S. Kim. Automatic patch generation learned from human-written patches. In Proceedings of the 2013 International Conference on Software Engineering, pages 802\u2013811. IEEE Press, 2013."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2398857.2384648"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2011.104"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2330163.2330296"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786811"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594337"},{"key":"e_1_3_2_1_36_1","volume-title":"Software Engineering. Universite Lille, (tel-01078911)","author":"Martinez M.","year":"2014","unstructured":"M. Martinez . Extraction and analysis of knowledge for automatic software repair. Software Engineering. Universite Lille, (tel-01078911) , 2014 . M. Martinez. Extraction and analysis of knowledge for automatic software repair. Software Engineering. Universite Lille, (tel-01078911), 2014."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-013-9282-8"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/2591062.2591114"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2015.63"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568324"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542431.1542439"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.5555\/2486788.2486890"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/1296907.1296912"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629585"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568254"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/2483760.2483785"},{"key":"e_1_3_2_1_47_1","unstructured":"Z. Qi F. Long S. Achour and M. Rinard. An Analysis of Patch Plausibility and Correctness for Generate-And-Validate Patch Generation Systems (Supplementary Material). http:\/\/hdl.handle.net\/1721.1\/97051.  Z. Qi F. Long S. Achour and M. Rinard. An Analysis of Patch Plausibility and Correctness for Generate-And-Validate Patch Generation Systems (Supplementary Material). http:\/\/hdl.handle.net\/1721.1\/97051."},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSAC.2004.2"},{"key":"e_1_3_2_1_50_1","first-page":"21","volume-title":"OSDI","volume":"4","author":"Rinard M. C.","year":"2004","unstructured":"M. C. Rinard , C. Cadar , D. Dumitran , D. M. Roy , T. Leu , and W. S. Beebee . Enhancing server availability and security through failure-oblivious computing . In OSDI , volume 4 , pages 21\u2013 21 , 2004 . M. C. Rinard, C. Cadar, D. Dumitran, D. M. Roy, T. Leu, and W. S. Beebee. Enhancing server availability and security through failure-oblivious computing. In OSDI, volume 4, pages 21\u201321, 2004."},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.5555\/2337223.2337257"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737988"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/1831708.1831716"},{"key":"e_1_3_2_1_56_1","first-page":"366","volume-title":"Automated Software Engineering (ASE), 2013 IEEE\/ACM 28th International Conference on","author":"Weimer W.","unstructured":"W. Weimer , Z. P. Fry , and S. Forrest . Leveraging program equivalence for adaptive program repair: Models and first results . In Automated Software Engineering (ASE), 2013 IEEE\/ACM 28th International Conference on , pages 356\u2013 366 . IEEE, 2013. W. Weimer, Z. P. Fry, and S. Forrest. Leveraging program equivalence for adaptive program repair: Models and first results. In Automated Software Engineering (ASE), 2013 IEEE\/ACM 28th International Conference on, pages 356\u2013366. IEEE, 2013."},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070536"}],"event":{"name":"ISSTA '15: International Symposium on Software Testing and Analysis","location":"Baltimore MD USA","acronym":"ISSTA '15","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 2015 International Symposium on Software Testing and Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2771783.2771791","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2771783.2771791","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:01:14Z","timestamp":1750230074000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2771783.2771791"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,7,13]]},"references-count":51,"alternative-id":["10.1145\/2771783.2771791","10.1145\/2771783"],"URL":"https:\/\/doi.org\/10.1145\/2771783.2771791","relation":{},"subject":[],"published":{"date-parts":[[2015,7,13]]},"assertion":[{"value":"2015-07-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}