{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,8]],"date-time":"2026-02-08T10:55:09Z","timestamp":1770548109972,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":100,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,7,18]],"date-time":"2022-07-18T00:00:00Z","timestamp":1658102400000},"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":[[2022,7,18]]},"DOI":"10.1145\/3533767.3534368","type":"proceedings-article","created":{"date-parts":[[2022,7,15]],"date-time":"2022-07-15T14:28:50Z","timestamp":1657895330000},"page":"654-665","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":24,"title":["Patch correctness assessment in automated program repair based on the impact of patches on production and test code"],"prefix":"10.1145","author":[{"given":"Ali","family":"Ghanbari","sequence":"first","affiliation":[{"name":"Iowa State University, USA"}]},{"given":"Andrian","family":"Marcus","sequence":"additional","affiliation":[{"name":"University of Texas at Dallas, USA"}]}],"member":"320","published-online":{"date-parts":[[2022,7,18]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"crossref","unstructured":"James H Andrews Lionel C Briand and Yvan Labiche. 2005. Is mutation an appropriate tool for testing experiments? In ICSE. 402\u2013411. James H Andrews Lionel C Briand and Yvan Labiche. 2005. Is mutation an appropriate tool for testing experiments? In ICSE. 402\u2013411.","DOI":"10.1145\/1062455.1062530"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"crossref","unstructured":"Andrea Arcuri. 2011. Evolutionary repair of faulty software. ASC 3494\u20133514. Andrea Arcuri. 2011. Evolutionary repair of faulty software. ASC 3494\u20133514.","DOI":"10.1016\/j.asoc.2011.01.023"},{"key":"e_1_3_2_1_3_1","volume-title":"Getafix: Learning to fix bugs automatically. OOPSLA, 1\u201327.","author":"Bader Johannes","year":"2019","unstructured":"Johannes Bader , Andrew Scott , Michael Pradel , and Satish Chandra . 2019 . Getafix: Learning to fix bugs automatically. OOPSLA, 1\u201327. Johannes Bader, Andrew Scott, Michael Pradel, and Satish Chandra. 2019. Getafix: Learning to fix bugs automatically. OOPSLA, 1\u201327."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"crossref","unstructured":"Earl T. Barr Yuriy Brun Premkumar Devanbu Mark Harman and Federica Sarro. 2014. The plastic surgery hypothesis. In FSE. 306\u2013317. Earl T. Barr Yuriy Brun Premkumar Devanbu Mark Harman and Federica Sarro. 2014. The plastic surgery hypothesis. In FSE. 306\u2013317.","DOI":"10.1145\/2635868.2635898"},{"key":"e_1_3_2_1_5_1","volume-title":"Probability with applications in engineering, science, and technology","author":"Carlton Matthew A","unstructured":"Matthew A Carlton and Jay L Devore . 2017. Probability with applications in engineering, science, and technology . Springer . Matthew A Carlton and Jay L Devore. 2017. Probability with applications in engineering, science, and technology. Springer."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"crossref","unstructured":"Padraic Cashin Carianne Martinez Westley Weimer and Stephanie Forrest. 2019. Understanding automatically-generated patches through symbolic invariant differences. In ASE. 411\u2013414. Padraic Cashin Carianne Martinez Westley Weimer and Stephanie Forrest. 2019. Understanding automatically-generated patches through symbolic invariant differences. In ASE. 411\u2013414.","DOI":"10.1109\/ASE.2019.00046"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3108938"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","unstructured":"Lingchao Chen Yicheng Ouyang and Lingming Zhang. 2021. Fast and Precise On-the-fly Patch Validation for All. In ICSE. 1123\u20131134. Lingchao Chen Yicheng Ouyang and Lingming Zhang. 2021. Fast and Precise On-the-fly Patch Validation for All. In ICSE. 1123\u20131134.","DOI":"10.1109\/ICSE43902.2021.00104"},{"key":"e_1_3_2_1_9_1","volume-title":"Furia","author":"Chen Liushan","year":"2017","unstructured":"Liushan Chen , Yu Pei , and Carlo A . Furia . 2017 . Contract-based program repair without the contracts. In ASE. 637\u2013647. Liushan Chen, Yu Pei, and Carlo A. Furia. 2017. Contract-based program repair without the contracts. In ASE. 637\u2013647."},{"key":"e_1_3_2_1_10_1","volume-title":"Michele Tufano, Louis-No\u00ebl Pouchet, Denys Poshyvanyk, and Martin Monperrus.","author":"Chen Zimin","year":"2019","unstructured":"Zimin Chen , Steve James Kommrusch , Michele Tufano, Louis-No\u00ebl Pouchet, Denys Poshyvanyk, and Martin Monperrus. 2019 . SequenceR: Sequence-to-sequence learning for end-to-end program repair. TSE , 1\u20131. Zimin Chen, Steve James Kommrusch, Michele Tufano, Louis-No\u00ebl Pouchet, Denys Poshyvanyk, and Martin Monperrus. 2019. SequenceR: Sequence-to-sequence learning for end-to-end program repair. TSE, 1\u20131."},{"key":"e_1_3_2_1_11_1","unstructured":"Zimin Chen and Martin Monperrus. 2018. The remarkable role of similarity in redundancy-based program repair. arXiv. Zimin Chen and Martin Monperrus. 2018. The remarkable role of similarity in redundancy-based program repair. arXiv."},{"key":"e_1_3_2_1_12_1","volume-title":"Introduction to Algorithms","author":"Cormen Thomas H.","unstructured":"Thomas H. Cormen , Charles E. Leiserson , Ronald L. Rivest , and Clifford Stein . 2009. Introduction to Algorithms . MIT press . Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest, and Clifford Stein. 2009. Introduction to Algorithms. MIT press."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00994018"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"crossref","unstructured":"Viktor Csuvik D\u00e1niel Horv\u00e1th Ferenc Horv\u00e1th and L\u00e1szl\u00f3 Vid\u00e1cs. 2020. Utilizing Source Code Embeddings to Identify Correct Patches. In IBF. 18\u201325. Viktor Csuvik D\u00e1niel Horv\u00e1th Ferenc Horv\u00e1th and L\u00e1szl\u00f3 Vid\u00e1cs. 2020. Utilizing Source Code Embeddings to Identify Correct Patches. In IBF. 18\u201325.","DOI":"10.1109\/IBF50092.2020.9034714"},{"key":"e_1_3_2_1_15_1","unstructured":"Xuan-Bach D. Le Lingfeng Bao David Lo Xin Xia Shanping Li and Corina Pasareanu. 2019. On reliability of patch correctness assessment. In ICSE. 524\u2013535. Xuan-Bach D. Le Lingfeng Bao David Lo Xin Xia Shanping Li and Corina Pasareanu. 2019. On reliability of patch correctness assessment. In ICSE. 524\u2013535."},{"key":"e_1_3_2_1_16_1","volume-title":"Claire Le Goues, and Willem Visser","author":"Le Xuan-Bach D.","year":"2017","unstructured":"Xuan-Bach D. Le , Duc-Hiep Chu , David Lo , Claire Le Goues, and Willem Visser . 2017 . S3: syntax-and semantic-guided repair synthesis via programming by examples. In FSE. 593\u2013604. Xuan-Bach D. Le, Duc-Hiep Chu, David Lo, Claire Le Goues, and Willem Visser. 2017. S3: syntax-and semantic-guided repair synthesis via programming by examples. In FSE. 593\u2013604."},{"key":"e_1_3_2_1_17_1","unstructured":"Xuan-Bach D. Le David Lo and Claire Le Goues. 2016. History driven automated program repair. In SANER. 213\u2013224. Xuan-Bach D. Le David Lo and Claire Le Goues. 2016. History driven automated program repair. In SANER. 213\u2013224."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"crossref","unstructured":"Vidroha Debroy and W. Eric Wong. 2010. Using mutation to automatically suggest fixes for faulty programs. In ICST. 65\u201374. Vidroha Debroy and W. Eric Wong. 2010. Using mutation to automatically suggest fixes for faulty programs. In ICST. 65\u201374.","DOI":"10.1109\/ICST.2010.66"},{"key":"e_1_3_2_1_19_1","unstructured":"Defects4J Contributors. 2020. http:\/\/bit.ly\/2PY3yDa Accessed: 01\/22. Defects4J Contributors. 2020. http:\/\/bit.ly\/2PY3yDa Accessed: 01\/22."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/C-M.1978.218136"},{"key":"e_1_3_2_1_21_1","volume-title":"Bert: Pre-training of deep bidirectional transformers for language understanding. arXiv.","author":"Devlin Jacob","year":"2018","unstructured":"Jacob Devlin , Ming-Wei Chang , Kenton Lee , and Kristina Toutanova . 2018 . Bert: Pre-training of deep bidirectional transformers for language understanding. arXiv. Jacob Devlin, Ming-Wei Chang, Kenton Lee, and Kristina Toutanova. 2018. Bert: Pre-training of deep bidirectional transformers for language understanding. arXiv."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"crossref","unstructured":"Zhen Yu Ding Yiwei Lyu Christopher S. Timperley and Claire Le Goues. 2019. Leveraging Program Invariants to Promote Population Diversity in Search-Based Automatic Program Repair. In GI. 2\u20139. Zhen Yu Ding Yiwei Lyu Christopher S. Timperley and Claire Le Goues. 2019. Leveraging Program Invariants to Promote Population Diversity in Search-Based Automatic Program Repair. In GI. 2\u20139.","DOI":"10.1109\/GI.2019.00011"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"crossref","unstructured":"Thomas Durieux and Martin Monperrus. 2016. Dynamoth: dynamic code synthesis for automatic program repair. In WAST. 85\u201391. Thomas Durieux and Martin Monperrus. 2016. Dynamoth: dynamic code synthesis for automatic program repair. In WAST. 85\u201391.","DOI":"10.1145\/2896921.2896931"},{"key":"e_1_3_2_1_24_1","volume-title":"Qlose: Program repair with quantitative objectives. In CAV. 383\u2013401.","author":"D\u2019Antoni Loris","year":"2016","unstructured":"Loris D\u2019Antoni , Roopsha Samanta , and Rishabh Singh . 2016 . Qlose: Program repair with quantitative objectives. In CAV. 383\u2013401. Loris D\u2019Antoni, Roopsha Samanta, and Rishabh Singh. 2016. Qlose: Program repair with quantitative objectives. In CAV. 383\u2013401."},{"key":"e_1_3_2_1_25_1","first-page":"35","article-title":"The Daikon system for dynamic detection of likely invariants","volume":"69","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 . SCP , 69 (2007), 35 \u2013 45 . 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. SCP, 69 (2007), 35\u201345.","journal-title":"SCP"},{"key":"e_1_3_2_1_26_1","first-page":"771","article-title":"A short introduction to boosting","volume":"14","author":"Freund Yoav","year":"1999","unstructured":"Yoav Freund , Robert Schapire , and Naoki Abe . 1999 . A short introduction to boosting . JSJA , 14 , 771 \u2013 780 (1999). Yoav Freund, Robert Schapire, and Naoki Abe. 1999. A short introduction to boosting. JSJA, 14, 771\u2013780 (1999).","journal-title":"JSJA"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"crossref","unstructured":"Qing Gao Yingfei Xiong Yaqing Mi Lu Zhang Weikun Yang Zhaoping Zhou Bing Xie and Hong Mei. 2015. Safe memory-leak fixing for c programs. In ICSE. 459\u2013470. Qing Gao Yingfei Xiong Yaqing Mi Lu Zhang Weikun Yang Zhaoping Zhou Bing Xie and Hong Mei. 2015. Safe memory-leak fixing for c programs. In ICSE. 459\u2013470.","DOI":"10.1109\/ICSE.2015.64"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"crossref","unstructured":"Xiang Gao Sergey Mechtaev and Abhik Roychoudhury. 2019. Crash-avoiding Program Repair. In ISSTA. 8\u201318. Xiang Gao Sergey Mechtaev and Abhik Roychoudhury. 2019. Crash-avoiding Program Repair. In ISSTA. 8\u201318.","DOI":"10.1145\/3293882.3330558"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"crossref","unstructured":"Ali Ghanbari. 2020. ObjSim: Lightweight Automatic Patch Prioritization via Object Similarity. In ISSTA. 541\u2013544. Ali Ghanbari. 2020. ObjSim: Lightweight Automatic Patch Prioritization via Object Similarity. In ISSTA. 541\u2013544.","DOI":"10.1145\/3395363.3404362"},{"key":"e_1_3_2_1_30_1","unstructured":"Ali Ghanbari. 2020. ObjSim: Lightweight Automatic Patch Prioritization via Object Similarity. http:\/\/bit.ly\/2I62OIs Accessed: 05\/22. Ali Ghanbari. 2020. ObjSim: Lightweight Automatic Patch Prioritization via Object Similarity. http:\/\/bit.ly\/2I62OIs Accessed: 05\/22."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"crossref","unstructured":"Ali Ghanbari Samuel Benton and Lingming Zhang. 2019. Practical program repair via bytecode mutation. In ISSTA. 19\u201330. Ali Ghanbari Samuel Benton and Lingming Zhang. 2019. Practical program repair via bytecode mutation. In ISSTA. 19\u201330.","DOI":"10.1109\/ASE.2019.00116"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"crossref","unstructured":"Ali Ghanbari and Andrian Marcus. 2022. Patch Correctness Assessment in Automated Program Repair Based on the Impact of Patches on Production and Test Code. https:\/\/github.com\/ali-ghanbari\/shibboleth Accessed: 05\/22. Ali Ghanbari and Andrian Marcus. 2022. Patch Correctness Assessment in Automated Program Repair Based on the Impact of Patches on Production and Test Code. https:\/\/github.com\/ali-ghanbari\/shibboleth Accessed: 05\/22.","DOI":"10.1145\/3533767.3534368"},{"key":"e_1_3_2_1_33_1","volume-title":"Java SE 8 Edition","author":"Gosling James","unstructured":"James Gosling , Bill Joy , Guy L. Steele , Gilad Bracha , and Alex Buckley . 2014. The Java Language Specification , Java SE 8 Edition . Addison-Wesley Professional . James Gosling, Bill Joy, Guy L. Steele, Gilad Bracha, and Alex Buckley. 2014. The Java Language Specification, Java SE 8 Edition. Addison-Wesley Professional."},{"key":"e_1_3_2_1_34_1","volume-title":"Deepfix: Fixing common c language errors by deep learning. In AAAI. 1345\u20131351.","author":"Gupta Rahul","year":"2017","unstructured":"Rahul Gupta , Soham Pal , Aditya Kanade , and Shirish Shevade . 2017 . Deepfix: Fixing common c language errors by deep learning. In AAAI. 1345\u20131351. Rahul Gupta, Soham Pal, Aditya Kanade, and Shirish Shevade. 2017. Deepfix: Fixing common c language errors by deep learning. In AAAI. 1345\u20131351."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"crossref","unstructured":"Mary Jean Harrold Gregg Rothermel Rui Wu and Liu Yi. 1998. An Empirical Investigation of Program Spectra. In PASTE. 83\u201390. Mary Jean Harrold Gregg Rothermel Rui Wu and Liu Yi. 1998. An Empirical Investigation of Program Spectra. In PASTE. 83\u201390.","DOI":"10.1145\/277633.277647"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"crossref","unstructured":"Haibo He and Edwardo A Garcia. 2009. Learning from Imbalanced Data. TKDE 1263\u20131284. Haibo He and Edwardo A Garcia. 2009. Learning from Imbalanced Data. TKDE 1263\u20131284.","DOI":"10.1109\/TKDE.2008.239"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"crossref","unstructured":"Tin Kam Ho. 1995. Random decision forests. In ICDAR. 278\u2013282. Tin Kam Ho. 1995. Random decision forests. In ICDAR. 278\u2013282.","DOI":"10.1109\/ICDAR.1995.598994"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"crossref","unstructured":"Jinru Hua Mengshi Zhang Kaiyuan Wang and Sarfraz Khurshid. 2018. Towards practical program repair with on-demand candidate generation. In ICSE. 12\u201323. Jinru Hua Mengshi Zhang Kaiyuan Wang and Sarfraz Khurshid. 2018. Towards practical program repair with on-demand candidate generation. In ICSE. 12\u201323.","DOI":"10.1145\/3180155.3180245"},{"key":"e_1_3_2_1_39_1","volume-title":"An introduction to statistical learning. 112","author":"James Gareth","unstructured":"Gareth James , Daniela Witten , Trevor Hastie , and Robert Tibshirani . 2013. An introduction to statistical learning. 112 , Springer . Gareth James, Daniela Witten, Trevor Hastie, and Robert Tibshirani. 2013. An introduction to statistical learning. 112, Springer."},{"key":"e_1_3_2_1_40_1","unstructured":"JavaParser Contributors. 2020. JavaParser. http:\/\/bit.ly\/381qqvu Accessed: 01\/22. JavaParser Contributors. 2020. JavaParser. http:\/\/bit.ly\/381qqvu Accessed: 01\/22."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"crossref","unstructured":"Jiajun Jiang Yingfei Xiong Hongyu Zhang Qing Gao and Xiangqun Chen. 2018. Shaping program repair space with existing patches and similar code. In ISSTA. 298\u2013309. Jiajun Jiang Yingfei Xiong Hongyu Zhang Qing Gao and Xiangqun Chen. 2018. Shaping program repair space with existing patches and similar code. In ISSTA. 298\u2013309.","DOI":"10.1145\/3213846.3213871"},{"key":"e_1_3_2_1_42_1","first-page":"426","article-title":"SeByte: Scalable clone and similarity search for bytecode","volume":"95","author":"Keivanloo Iman","year":"2014","unstructured":"Iman Keivanloo , Chanchal K Roy , and Juergen Rilling . 2014 . SeByte: Scalable clone and similarity search for bytecode . SCP , 95 (2014), 426 \u2013 444 . Iman Keivanloo, Chanchal K Roy, and Juergen Rilling. 2014. SeByte: Scalable clone and similarity search for bytecode. SCP, 95 (2014), 426\u2013444.","journal-title":"SCP"},{"key":"e_1_3_2_1_43_1","unstructured":"Dongsun Kim Jaechang Nam Jaewoo Song and Sunghun Kim. 2013. Automatic patch generation learned from human-written patches. In ICSE. 802\u2013811. Dongsun Kim Jaechang Nam Jaewoo Song and Sunghun Kim. 2013. Automatic patch generation learned from human-written patches. In ICSE. 802\u2013811."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-019-09742-5"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"crossref","unstructured":"Pavneet Singh Kochhar Xin Xia David Lo and Shanping Li. 2016. Practitioners\u2019 Expectations on Automated Fault Localization. In ISSTA. 165\u2013176. Pavneet Singh Kochhar Xin Xia David Lo and Shanping Li. 2016. Practitioners\u2019 Expectations on Automated Fault Localization. In ISSTA. 165\u2013176.","DOI":"10.1145\/2931037.2931051"},{"key":"e_1_3_2_1_46_1","first-page":"1","article-title":"Fixminer: Mining relevant fix patterns for automated program repair","volume":"25","author":"Koyuncu Anil","year":"2020","unstructured":"Anil Koyuncu , Kui Liu , Tegawend\u00e9 F. Bissyand\u00e9 , Dongsun Kim , Jacques Klein , Martin Monperrus , and Yves Le Traon . 2020 . Fixminer: Mining relevant fix patterns for automated program repair . ESE , 25 (2020), 1 \u2013 45 . Anil Koyuncu, Kui Liu, Tegawend\u00e9 F. Bissyand\u00e9, Dongsun Kim, Jacques Klein, Martin Monperrus, and Yves Le Traon. 2020. Fixminer: Mining relevant fix patterns for automated program repair. ESE, 25 (2020), 1\u201345.","journal-title":"ESE"},{"key":"e_1_3_2_1_47_1","volume-title":"Temporal logic of programs. 8","author":"Kr\u00f6ger Fred","unstructured":"Fred Kr\u00f6ger . 1987. Temporal logic of programs. 8 , Springer Science & Business Media . Fred Kr\u00f6ger. 1987. Temporal logic of programs. 8, Springer Science & Business Media."},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2011.104"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/3318162"},{"key":"e_1_3_2_1_51_1","unstructured":"Tim Lindholm Frank Yellin Gilad Bracha and Alex Buckley. 2014. The Java virtual machine specification. Pearson Education. Tim Lindholm Frank Yellin Gilad Bracha and Alex Buckley. 2014. The Java virtual machine specification. Pearson Education."},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"crossref","unstructured":"Kui Liu Anil Koyuncu Tegawend\u00e9 F. Bissyand\u00e9 Dongsun Kim Jacques Klein and Yves Le Traon. 2019. You cannot fix what you cannot find! an investigation of fault localization bias in benchmarking automated program repair systems. In ICST. 102\u2013113. Kui Liu Anil Koyuncu Tegawend\u00e9 F. Bissyand\u00e9 Dongsun Kim Jacques Klein and Yves Le Traon. 2019. You cannot fix what you cannot find! an investigation of fault localization bias in benchmarking automated program repair systems. In ICST. 102\u2013113.","DOI":"10.1109\/ICST.2019.00020"},{"key":"e_1_3_2_1_53_1","volume-title":"Bissyand\u00e9","author":"Liu Kui","year":"2019","unstructured":"Kui Liu , Anil Koyuncu , Dongsun Kim , and Tegawend\u00e9 F . Bissyand\u00e9 . 2019 . TBar: revisiting template-based automated program repair. In ISSTA. 31\u201342. Kui Liu, Anil Koyuncu, Dongsun Kim, and Tegawend\u00e9 F. Bissyand\u00e9. 2019. TBar: revisiting template-based automated program repair. In ISSTA. 31\u201342."},{"key":"e_1_3_2_1_54_1","volume-title":"Bissyand\u00e9","author":"Liu Kui","year":"2019","unstructured":"Kui Liu , Anil Koyuncu , Dongsun Kim , and Tegawend\u00e9 F . Bissyand\u00e9 . 2019 . AVATAR : Fixing Semantic Bugs with Fix Patterns of Static Analysis Violations. In SANER. 456\u2013467. Kui Liu, Anil Koyuncu, Dongsun Kim, and Tegawend\u00e9 F. Bissyand\u00e9. 2019. AVATAR: Fixing Semantic Bugs with Fix Patterns of Static Analysis Violations. In SANER. 456\u2013467."},{"key":"e_1_3_2_1_55_1","unstructured":"Xuliang Liu and Hao Zhong. 2018. Mining stackoverflow for program repair. In SANER. 118\u2013129. Xuliang Liu and Hao Zhong. 2018. Mining stackoverflow for program repair. In SANER. 118\u2013129."},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"crossref","unstructured":"Fan Long and Martin Rinard. 2015. Staged program repair with condition synthesis. In FSE. 166\u2013178. Fan Long and Martin Rinard. 2015. Staged program repair with condition synthesis. In FSE. 166\u2013178.","DOI":"10.1145\/2786805.2786811"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"crossref","unstructured":"Fan Long and Martin Rinard. 2016. Automatic patch generation by learning correct code. In POPL. 298\u2013312. Fan Long and Martin Rinard. 2016. Automatic patch generation by learning correct code. In POPL. 298\u2013312.","DOI":"10.1145\/2914770.2837617"},{"key":"e_1_3_2_1_58_1","volume-title":"Aroma: Code recommendation via structural code search. OOPSLA, 1\u201328.","author":"Luan Sifei","year":"2019","unstructured":"Sifei Luan , Di Yang , Celeste Barnaby , Koushik Sen , and Satish Chandra . 2019 . Aroma: Code recommendation via structural code search. OOPSLA, 1\u201328. Sifei Luan, Di Yang, Celeste Barnaby, Koushik Sen, and Satish Chandra. 2019. Aroma: Code recommendation via structural code search. OOPSLA, 1\u201328."},{"key":"e_1_3_2_1_59_1","volume-title":"Sapfix: Automated end-to-end repair at scale. In ICSE-SEIP. 269\u2013278.","author":"Marginean Alexandru","year":"2019","unstructured":"Alexandru Marginean , Johannes Bader , Satish Chandra , Mark Harman , Yue Jia , Ke Mao , Alexander Mols , and Andrew Scott . 2019 . Sapfix: Automated end-to-end repair at scale. In ICSE-SEIP. 269\u2013278. Alexandru Marginean, Johannes Bader, Satish Chandra, Mark Harman, Yue Jia, Ke Mao, Alexander Mols, and Andrew Scott. 2019. Sapfix: Automated end-to-end repair at scale. In ICSE-SEIP. 269\u2013278."},{"key":"e_1_3_2_1_60_1","volume-title":"Astor: A Program Repair Library for Java. In ISSTA. 441\u2013444.","author":"Martinez Matias","year":"2016","unstructured":"Matias Martinez and Martin Monperrus . 2016 . Astor: A Program Repair Library for Java. In ISSTA. 441\u2013444. Matias Martinez and Martin Monperrus. 2016. Astor: A Program Repair Library for Java. In ISSTA. 441\u2013444."},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"crossref","unstructured":"Matias Martinez and Martin Monperrus. 2018. Ultra-large repair search space with automatically mined templates: The cardumen mode of astor. In SBSE. 65\u201386. Matias Martinez and Martin Monperrus. 2018. Ultra-large repair search space with automatically mined templates: The cardumen mode of astor. In SBSE. 65\u201386.","DOI":"10.1007\/978-3-319-99241-9_3"},{"key":"e_1_3_2_1_62_1","volume-title":"Directfix: Looking for simple program repairs. In ICSE. 448\u2013458.","author":"Mechtaev Sergey","year":"2015","unstructured":"Sergey Mechtaev , Jooyong Yi , and Abhik Roychoudhury . 2015 . Directfix: Looking for simple program repairs. In ICSE. 448\u2013458. Sergey Mechtaev, Jooyong Yi, and Abhik Roychoudhury. 2015. Directfix: Looking for simple program repairs. In ICSE. 448\u2013458."},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"crossref","unstructured":"Ali Mesbah Andrew Rice Emily Johnston Nick Glorioso and Edward Aftandilian. 2019. DeepDelta: learning to repair compilation errors. In FSE. 925\u2013936. Ali Mesbah Andrew Rice Emily Johnston Nick Glorioso and Edward Aftandilian. 2019. DeepDelta: learning to repair compilation errors. In FSE. 925\u2013936.","DOI":"10.1145\/3338906.3340455"},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1145\/3105906"},{"key":"e_1_3_2_1_65_1","unstructured":"Martin Monperrus. 2018. The Living Review on Automated Program Repair. HAL\/archives-ouvertes.fr. Martin Monperrus. 2018. The Living Review on Automated Program Repair. HAL\/archives-ouvertes.fr."},{"key":"e_1_3_2_1_66_1","doi-asserted-by":"crossref","unstructured":"Martin Monperrus Simon Urli Thomas Durieux Matias Martinez Benoit Baudry and Lionel Seinturier. 2019. Repairnator Patches Programs Automatically. Ubiquity 1\u201312. Martin Monperrus Simon Urli Thomas Durieux Matias Martinez Benoit Baudry and Lionel Seinturier. 2019. Repairnator Patches Programs Automatically. Ubiquity 1\u201312.","DOI":"10.1145\/3349589"},{"key":"e_1_3_2_1_67_1","unstructured":"Oracle Corporation. 2020. Java Agent. https:\/\/bit.ly\/3czmzFV Accessed: 01\/22. Oracle Corporation. 2020. Java Agent. https:\/\/bit.ly\/3czmzFV Accessed: 01\/22."},{"key":"e_1_3_2_1_68_1","unstructured":"OW2 Consortium. 2020. ASM Bytecode Manipulation Framework. http:\/\/bit.ly\/3fsPL2r Accessed: 01\/22. OW2 Consortium. 2020. ASM Bytecode Manipulation Framework. http:\/\/bit.ly\/3fsPL2r Accessed: 01\/22."},{"key":"e_1_3_2_1_69_1","volume-title":"Ernst","author":"Pacheco Carlos","year":"2007","unstructured":"Carlos Pacheco and Michael D . Ernst . 2007 . Randoop : Feedback-directed Random Testing for Java. In OOPSLA. 815\u2013816. Carlos Pacheco and Michael D. Ernst. 2007. Randoop: Feedback-directed Random Testing for Java. In OOPSLA. 815\u2013816."},{"key":"e_1_3_2_1_70_1","volume-title":"Types and programming languages","author":"Pierce Benjamin C.","unstructured":"Benjamin C. Pierce . 2002. Types and programming languages . MIT press . Benjamin C. Pierce. 2002. Types and programming languages. MIT press."},{"key":"e_1_3_2_1_71_1","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\u2013265. Yuhua Qi Xiaoguang Mao Yan Lei Ziying Dai and Chengsong Wang. 2014. The strength of random search on automated program repair. In ICSE. 254\u2013265."},{"key":"e_1_3_2_1_72_1","doi-asserted-by":"crossref","unstructured":"Thomas Reps Thomas Ball Manuvir Das and James Larus. 1997. The Use of Program Profiling for Software Maintenance with Applications to the Year 2000 Problem. In FSE. 432\u2013449. Thomas Reps Thomas Ball Manuvir Das and James Larus. 1997. The Use of Program Profiling for Software Maintenance with Applications to the Year 2000 Problem. In FSE. 432\u2013449.","DOI":"10.1007\/3-540-63531-9_29"},{"key":"e_1_3_2_1_73_1","volume-title":"Prasad","author":"Saha Ripon K.","year":"2017","unstructured":"Ripon K. Saha , Yingjun Lyu , Hiroaki Yoshida , and Mukul R . Prasad . 2017 . Elixir : Effective object-oriented program repair. In ASE. 648\u2013659. Ripon K. Saha, Yingjun Lyu, Hiroaki Yoshida, and Mukul R. Prasad. 2017. Elixir: Effective object-oriented program repair. In ASE. 648\u2013659."},{"key":"e_1_3_2_1_74_1","doi-asserted-by":"crossref","unstructured":"Seemanta Saha. 2019. Harnessing evolution for multi-hunk program repair. In ICSE. 13\u201324. Seemanta Saha. 2019. Harnessing evolution for multi-hunk program repair. In ICSE. 13\u201324.","DOI":"10.1109\/ICSE.2019.00020"},{"key":"e_1_3_2_1_75_1","doi-asserted-by":"crossref","unstructured":"Eric Schulte Stephanie Forrest and Westley Weimer. 2010. Automated program repair through the evolution of assembly code. In ASE. 313\u2013316. Eric Schulte Stephanie Forrest and Westley Weimer. 2010. Automated program repair through the evolution of assembly code. In ASE. 313\u2013316.","DOI":"10.1145\/1858996.1859059"},{"key":"e_1_3_2_1_76_1","unstructured":"scikit-learn Contributors. 2020. scikit-learn: Machine Learning in Python. http:\/\/bit.ly\/3a70cZt Accessed: 01\/22. scikit-learn Contributors. 2020. scikit-learn: Machine Learning in Python. http:\/\/bit.ly\/3a70cZt Accessed: 01\/22."},{"key":"e_1_3_2_1_77_1","doi-asserted-by":"crossref","unstructured":"Ridwan Shariffdeen Yannic Noller Lars Grunske and Abhik Roychoudhury. 2021. Concolic program repair. In PLDI. 390\u2013405. Ridwan Shariffdeen Yannic Noller Lars Grunske and Abhik Roychoudhury. 2021. Concolic program repair. In PLDI. 390\u2013405.","DOI":"10.1145\/3453483.3454051"},{"key":"e_1_3_2_1_78_1","volume-title":"Claire Le Goues, and Yuriy Brun","author":"Smith Edward K.","year":"2015","unstructured":"Edward K. Smith , Earl T. Barr , Claire Le Goues, and Yuriy Brun . 2015 . Is the cure worse than the disease? overfitting in automated program repair. In FSE. 532\u2013543. Edward K. Smith, Earl T. Barr, Claire Le Goues, and Yuriy Brun. 2015. Is the cure worse than the disease? overfitting in automated program repair. In FSE. 532\u2013543."},{"key":"e_1_3_2_1_79_1","unstructured":"Shin Hwei Tan Hiroaki Yoshida Mukul R. Prasad and Abhik Roychoudhury. 2016. Anti-patterns in search-based program repair. In FSE. 727\u2013738. Shin Hwei Tan Hiroaki Yoshida Mukul R. Prasad and Abhik Roychoudhury. 2016. Anti-patterns in search-based program repair. In FSE. 727\u2013738."},{"key":"e_1_3_2_1_80_1","volume-title":"Anil Koyuncu, Li Li, Jacques Klein, and Tegawend\u00e9 F. Bissyand\u00e9.","author":"Tian Haoye","year":"2020","unstructured":"Haoye Tian , Kui Liu , Abdoul Kader Kabore\u00e9 , Anil Koyuncu, Li Li, Jacques Klein, and Tegawend\u00e9 F. Bissyand\u00e9. 2020 . Evaluating representation learning of code changes for predicting patch correctness in program repair. In ASE. 981\u2013992. Haoye Tian, Kui Liu, Abdoul Kader Kabore\u00e9, Anil Koyuncu, Li Li, Jacques Klein, and Tegawend\u00e9 F. Bissyand\u00e9. 2020. Evaluating representation learning of code changes for predicting patch correctness in program repair. In ASE. 981\u2013992."},{"key":"e_1_3_2_1_81_1","doi-asserted-by":"crossref","unstructured":"Ganesha Upadhyaya and Hridesh Rajan. 2018. Collective program analysis. In ICSE. 620\u2013631. Ganesha Upadhyaya and Hridesh Rajan. 2018. Collective program analysis. In ICSE. 620\u2013631.","DOI":"10.1145\/3180155.3180252"},{"key":"e_1_3_2_1_82_1","doi-asserted-by":"crossref","unstructured":"Rijnard van Tonder and Claire Le Goues. 2018. Static automated program repair for heap properties. In ICSE. 151\u2013162. Rijnard van Tonder and Claire Le Goues. 2018. Static automated program repair for heap properties. In ICSE. 151\u2013162.","DOI":"10.1145\/3180155.3180250"},{"key":"e_1_3_2_1_83_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-015-0223-6"},{"key":"e_1_3_2_1_84_1","doi-asserted-by":"crossref","unstructured":"Shangwen Wang Ming Wen Bo Lin Hongjun Wu Yihao Qin Deqing Zou Xiaoguang Mao and Hai Jin. 2020. Automated Patch Correctness Assessment: How Far are We? In ASE. 968\u2013980. Shangwen Wang Ming Wen Bo Lin Hongjun Wu Yihao Qin Deqing Zou Xiaoguang Mao and Hai Jin. 2020. Automated Patch Correctness Assessment: How Far are We? In ASE. 968\u2013980.","DOI":"10.1145\/3324884.3416590"},{"key":"e_1_3_2_1_85_1","doi-asserted-by":"crossref","unstructured":"Ming Wen Junjie Chen Rongxin Wu Dan Hao and Shing-Chi Cheung. 2018. Context-aware patch generation for better automated program repair. In ICSE. 1\u201311. Ming Wen Junjie Chen Rongxin Wu Dan Hao and Shing-Chi Cheung. 2018. Context-aware patch generation for better automated program repair. In ICSE. 1\u201311.","DOI":"10.1145\/3180155.3180233"},{"key":"e_1_3_2_1_86_1","doi-asserted-by":"crossref","unstructured":"Martin White Michele Tufano Matias Martinez Martin Monperrus and Denys Poshyvanyk. 2019. Sorting and transforming program repair ingredients via deep learning code similarities. In SANER. 479\u2013490. Martin White Michele Tufano Matias Martinez Martin Monperrus and Denys Poshyvanyk. 2019. Sorting and transforming program repair ingredients via deep learning code similarities. In SANER. 479\u2013490.","DOI":"10.1109\/SANER.2019.8668043"},{"key":"e_1_3_2_1_87_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2016.2521368"},{"key":"e_1_3_2_1_88_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10115-007-0114-2"},{"key":"e_1_3_2_1_89_1","volume-title":"Reiss","author":"Xin Qi","year":"2017","unstructured":"Qi Xin and Steven P . Reiss . 2017 . Identifying test-suite-overfitted patches through test case generation.. In ISSTA. 226\u2013236. Qi Xin and Steven P. Reiss. 2017. Identifying test-suite-overfitted patches through test case generation.. In ISSTA. 226\u2013236."},{"key":"e_1_3_2_1_90_1","volume-title":"Reiss","author":"Xin Qi","year":"2017","unstructured":"Qi Xin and Steven P . Reiss . 2017 . Leveraging syntax-related code for automated program repair. In ASE. 660\u2013670. Qi Xin and Steven P. Reiss. 2017. Leveraging syntax-related code for automated program repair. In ASE. 660\u2013670."},{"key":"e_1_3_2_1_91_1","doi-asserted-by":"crossref","unstructured":"Yingfei Xiong Xinyuan Liu Muhan Zeng Lu Zhang and Gang Huang. 2018. Identifying patch correctness in test-based program repair. In ICSE. 789\u2013799. Yingfei Xiong Xinyuan Liu Muhan Zeng Lu Zhang and Gang Huang. 2018. Identifying patch correctness in test-based program repair. In ICSE. 789\u2013799.","DOI":"10.1145\/3180155.3180182"},{"key":"e_1_3_2_1_92_1","unstructured":"Yingfei Xiong Xinyuan Liu Muhan Zeng Lu Zhang and Gang Huang. 2018. A tool for identifying patch correctness in test-based program repair. http:\/\/bit.ly\/390riQb Accessed: 01\/22. Yingfei Xiong Xinyuan Liu Muhan Zeng Lu Zhang and Gang Huang. 2018. A tool for identifying patch correctness in test-based program repair. http:\/\/bit.ly\/390riQb Accessed: 01\/22."},{"key":"e_1_3_2_1_93_1","doi-asserted-by":"crossref","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. 416\u2013426. Yingfei Xiong Jie Wang Runfa Yan Jiachen Zhang Shi Han Gang Huang and Lu Zhang. 2017. Precise condition synthesis for program repair. In ICSE. 416\u2013426.","DOI":"10.1109\/ICSE.2017.45"},{"key":"e_1_3_2_1_94_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2016.2560811"},{"key":"e_1_3_2_1_95_1","doi-asserted-by":"crossref","unstructured":"Bo Yang and Jinqiu Yang. 2020. Exploring the Differences between Plausible and Correct Patches at Fine-Grained Level. In IBF. 1\u20138. Bo Yang and Jinqiu Yang. 2020. Exploring the Differences between Plausible and Correct Patches at Fine-Grained Level. In IBF. 1\u20138.","DOI":"10.1109\/IBF50092.2020.9034821"},{"key":"e_1_3_2_1_96_1","doi-asserted-by":"crossref","unstructured":"Jinqiu Yang Alexey Zhikhartsev Yuefei Liu and Lin Tan. 2017. Better test cases for better automated program repair. In FSE. 831\u2013841. Jinqiu Yang Alexey Zhikhartsev Yuefei Liu and Lin Tan. 2017. Better test cases for better automated program repair. In FSE. 831\u2013841.","DOI":"10.1145\/3106237.3106274"},{"key":"e_1_3_2_1_97_1","unstructured":"H. Ye J. Gu M. Martinez T. Durieux and M. Monperrus. 2021. Automated Classification of Overfitting Patches with Statically Extracted Code Features. TSE 1\u20131. H. Ye J. Gu M. Martinez T. Durieux and M. Monperrus. 2021. Automated Classification of Overfitting Patches with Statically Extracted Code Features. TSE 1\u20131."},{"key":"e_1_3_2_1_98_1","unstructured":"He Ye Matias Martinez and Martin Monperrus. 2019. Automated Patch Assessment for Program Repair at Scale. arXiv. He Ye Matias Martinez and Martin Monperrus. 2019. Automated Patch Assessment for Program Repair at Scale. arXiv."},{"key":"e_1_3_2_1_99_1","volume-title":"ARJA: Automated repair of java programs via multi-objective genetic programming. TSE, 46","author":"Yuan Yuan","year":"2018","unstructured":"Yuan Yuan and Wolfgang Banzhaf . 2018 . ARJA: Automated repair of java programs via multi-objective genetic programming. TSE, 46 (2018). Yuan Yuan and Wolfgang Banzhaf. 2018. ARJA: Automated repair of java programs via multi-objective genetic programming. TSE, 46 (2018)."},{"key":"e_1_3_2_1_100_1","first-page":"1","article-title":"Toward Better Evolutionary Program Repair","volume":"29","author":"Yuan Yuan","year":"2020","unstructured":"Yuan Yuan and Wolfgang Banzhaf . 2020 . Toward Better Evolutionary Program Repair : An Integrated Approach. TOSEM , 29 (2020), 1 \u2013 53 . Yuan Yuan and Wolfgang Banzhaf. 2020. Toward Better Evolutionary Program Repair: An Integrated Approach. TOSEM, 29 (2020), 1\u201353.","journal-title":"An Integrated Approach. TOSEM"},{"key":"e_1_3_2_1_101_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2018.2809496"}],"event":{"name":"ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis","location":"Virtual South Korea","acronym":"ISSTA '22","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3533767.3534368","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3533767.3534368","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T18:43:40Z","timestamp":1750272220000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3533767.3534368"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,7,18]]},"references-count":100,"alternative-id":["10.1145\/3533767.3534368","10.1145\/3533767"],"URL":"https:\/\/doi.org\/10.1145\/3533767.3534368","relation":{},"subject":[],"published":{"date-parts":[[2022,7,18]]},"assertion":[{"value":"2022-07-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}