{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,9]],"date-time":"2026-06-09T16:26:24Z","timestamp":1781022384113,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":47,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,5,27]],"date-time":"2018-05-27T00:00:00Z","timestamp":1527379200000},"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":[[2018,5,27]]},"DOI":"10.1145\/3180155.3180182","type":"proceedings-article","created":{"date-parts":[[2018,6,12]],"date-time":"2018-06-12T12:16:01Z","timestamp":1528805761000},"page":"789-799","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":119,"title":["Identifying patch correctness in test-based program repair"],"prefix":"10.1145","author":[{"given":"Yingfei","family":"Xiong","sequence":"first","affiliation":[{"name":"Peking University, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Xinyuan","family":"Liu","sequence":"additional","affiliation":[{"name":"Peking University, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Muhan","family":"Zeng","sequence":"additional","affiliation":[{"name":"Peking University, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Lu","family":"Zhang","sequence":"additional","affiliation":[{"name":"Peking University, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Gang","family":"Huang","sequence":"additional","affiliation":[{"name":"Peking University, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2018,5,27]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2014.2372785"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/503209.503243"},{"key":"e_1_3_2_1_3_1","volume-title":"International Conference on Computer Aided Verification. Springer, 383--401","author":"D\u00e2\u0102 Loris","year":"2016","unstructured":"Loris D\u00e2\u0102ŹAntoni, Roopsha Samanta, and Rishabh Singh. 2016. Qlose: Program repair with quantitative objectives. In International Conference on Computer Aided Verification. Springer, 383--401."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.908957"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.01.015"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","unstructured":"Gordon Fraser and Andrea Arcuri. 2011. Evosuite: automatic test suite generation for object-oriented software. In ESEC\/FSE. ACM 416--419. 10.1145\/2025113.2025179","DOI":"10.1145\/2025113.2025179"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/2818754.2818812"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","unstructured":"Qing Gao Hansheng Zhang Jie Wang and Yingfei Xiong. 2015. Fixing Recurring Crash Bugs via Analyzing Q&A Sites. In ASE. 307--318.","DOI":"10.1109\/ASE.2015.81"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","unstructured":"Rahul Gupta Soham Pal Aditya Kanade and Shirish Shevade. 2017. DeepFix: Fixing Common C Language Errors by Deep Learning. In AAAI. 1345--1351.","DOI":"10.1609\/aaai.v31i1.10742"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/277631.277647"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","unstructured":"Ren\u00e9 Just Darioush Jalali and Michael D Ernst. 2014. Defects4J: A database of existing faults to enable controlled testing studies for Java programs. In ISSTA. 437--440. 10.1145\/2610384.2628055","DOI":"10.1145\/2610384.2628055"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/2486788.2486893"},{"key":"e_1_3_2_1_13_1","volume-title":"2016 IEEE 23rd International Conference on","volume":"1","author":"Le Xuan-Bach D","year":"2016","unstructured":"Xuan-Bach D Le, David Lo, and Claire Le Goues. 2016. History Driven Program Repair. In Software Analysis, Evolution, and Reengineering (SANER), 2016 IEEE 23rd International Conference on, Vol. 1. IEEE, 213--224."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106309"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","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. 3--13.","DOI":"10.5555\/2337223.2337225"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2011.104"},{"key":"e_1_3_2_1_17_1","unstructured":"Xuliang Liu and Hao Zhong. 2018. Mining StackOverflow for Program Repair. (2018) to appear pages."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786811"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837617"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884872"},{"key":"e_1_3_2_1_21_1","volume-title":"GRT: Program-analysis-guided random testing. In ASE. 212--223.","author":"Ma Lei","year":"2015","unstructured":"Lei Ma, Cyrille Artho, Cheng Zhang, Hiroyuki Sato, Johannes Gmeiner, and Rudolf Ramler. 2015. GRT: Program-analysis-guided random testing. In ASE. 212--223."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491411.2491438"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-016-9470-4"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2931037.2948705"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","unstructured":"Sergey Mechtaev Jooyong Yi and Abhik Roychoudhury. 2015. DirectFix: Looking for Simple Program Repairs. In ICSE. 448--458.","DOI":"10.5555\/2818754.2818811"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884807"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","unstructured":"Seokhyeon Moon Yunho Kim Moonzoo Kim and Shin Yoo. 2014. Ask the Mutants: Mutating Faulty Programs for Fault Localization. In ICST. 153--162. 10.1109\/ICST.2014.28","DOI":"10.1109\/ICST.2014.28"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","unstructured":"Hoang Duong Thien Nguyen Dawei Qi Abhik Roychoudhury and Satish Chandra. 2013. SemFix: Program Repair via Semantic Analysis. In ICSE. 772--781.","DOI":"10.5555\/2486788.2486890"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1297846.1297902"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","unstructured":"Mike Papadakis and Yves Le Traon. 2012. Using Mutants to Locate \"Unknown\" Faults. In ICST. 691--700. 10.1109\/ICST.2012.159","DOI":"10.1109\/ICST.2012.159"},{"key":"e_1_3_2_1_31_1","first-page":"1","article-title":"Automated Test Oracles: A Survey","volume":"95","author":"Pezze Mauro","year":"2015","unstructured":"Mauro Pezze and Cheng Zhang. 2015. Automated Test Oracles: A Survey. Advances in Computers 95 (2015), 1--48.","journal-title":"Advances in Computers"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/1858996.1859035"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","unstructured":"Yuhua Qi Xiaoguang Mao Yan Lei Ziying Dai and Chengsong Wang. 2014. The Strength of Random Search on Automated Program Repair. In ICSE. 254--265. 10.1145\/2568225.2568254","DOI":"10.1145\/2568225.2568254"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/2771783.2771791"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/267895.267925"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","unstructured":"Rishabh Singh Sumit Gulwani and Armando Solar-Lezama. 2013. Automated Feedback Generation for Introductory Programming Assignments. In PLDI. 15--26. 10.1145\/2491956.2462195","DOI":"10.1145\/2491956.2462195"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786825"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","unstructured":"Shin Hwei Tan Hiroaki Yoshida Mukul R Prasad and Abhik Roychoudhury. 2016. Anti-patterns in Search-Based Program Repair. In FSE. 727--738. 10.1145\/2950290.2950295","DOI":"10.1145\/2950290.2950295"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","unstructured":"Yida Tao Jindae Kim Sunghun Kim and Chang Xu. 2014. Automatically Generated Patches As Debugging Aids: A Human Study. In FSE. 64--74. 10.1145\/2635868.2635873","DOI":"10.1145\/2635868.2635873"},{"key":"e_1_3_2_1_40_1","volume-title":"Claire Le Goues, and Patrick Hurley","author":"Weimer Westley","year":"2016","unstructured":"Westley Weimer, Stephanie Forrest, Miryung Kim, Claire Le Goues, and Patrick Hurley. 2016. Trusted Software Repair for System Resiliency. In DSN-W. 238--241."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070536"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","unstructured":"Qi Xin and Steven Reiss. 2017. Identifying Test-Suite-Overfitted Patches through Test Case Generation. In ISSTA. 10.1145\/3092703.3092718","DOI":"10.1145\/3092703.3092718"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","unstructured":"Yingfei Xiong Jie Wang Runfa Yan Jiachen Zhang Shi Han Gang Huang and Lu Zhang. 2017. Precise Condition Synthesis for Program Repair. In ICSE. 10.1109\/ICSE.2017.45","DOI":"10.1109\/ICSE.2017.45"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2014.2383381"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2016.2560811"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","unstructured":"Jinqiu Yang Alexey Zhikhartsev Yuefei Liu and Lin Tan. 2017. Better Test Cases for Better Automated Program Repair. In FSE. 10.1145\/3106237.3106274","DOI":"10.1145\/3106237.3106274"},{"key":"e_1_3_2_1_47_1","volume-title":"Test Case Generation for Program Repair: A Study of Feasibility and Effectiveness. CoRR abs\/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. CoRR abs\/1703.00198 (2017)."}],"event":{"name":"ICSE '18: 40th International Conference on Software Engineering","location":"Gothenburg Sweden","acronym":"ICSE '18","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE-CS Computer Society"]},"container-title":["Proceedings of the 40th International Conference on Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3180155.3180182","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3180155.3180182","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:08:18Z","timestamp":1750208898000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3180155.3180182"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,5,27]]},"references-count":47,"alternative-id":["10.1145\/3180155.3180182","10.1145\/3180155"],"URL":"https:\/\/doi.org\/10.1145\/3180155.3180182","relation":{},"subject":[],"published":{"date-parts":[[2018,5,27]]},"assertion":[{"value":"2018-05-27","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}