{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,28]],"date-time":"2026-02-28T07:46:05Z","timestamp":1772264765613,"version":"3.50.1"},"reference-count":65,"publisher":"Association for Computing Machinery (ACM)","issue":"2","license":[{"start":{"date-parts":[[2023,12,21]],"date-time":"2023-12-21T00:00:00Z","timestamp":1703116800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"National Research Foundation of Korea (NRF) grant funded by the Korea government","award":["2021R1A2C1009819, 2021R1A5A1021944, 2021R1I1A3048013"],"award-info":[{"award-number":["2021R1A2C1009819, 2021R1A5A1021944, 2021R1I1A3048013"]}]},{"name":"Institute for Information & Communications Technology Planning & Evaluation (IITP) grant funded by the Korea government","award":["2021-0-01001"],"award-info":[{"award-number":["2021-0-01001"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Softw. Eng. Methodol."],"published-print":{"date-parts":[[2024,2,29]]},"abstract":"<jats:p>\n            To date, the users of test-driven program repair tools suffer from the overfitting problem; a generated patch may pass all available tests without being correct. In the existing work, users are treated as merely passive consumers of the tests. However, what if they are willing to modify the test to better assess the patches obtained from a repair tool? In this work, we propose a novel semi-automatic patch-classification methodology named\n            <jats:sc>Poracle<\/jats:sc>\n            . Our key contributions are three-fold. First, we design a novel\n            <jats:italic>lightweight<\/jats:italic>\n            specification method that reuses the existing test. Specifically, the users extend the existing failing test with a\n            <jats:italic>preservation condition<\/jats:italic>\n            \u2014the condition under which the patched and pre-patched versions should produce the same output. Second, we develop a fuzzer that performs differential fuzzing with a test containing a preservation condition. Once we find an input that satisfies a specified preservation condition but produces different outputs between the patched and pre-patched versions, we classify the patch as incorrect with high confidence. We show that our approach is more effective than the four state-of-the-art patch classification approaches. Last, we show through a user study that the users find our semi-automatic patch assessment method more effective and preferable than the manual assessment.\n          <\/jats:p>","DOI":"10.1145\/3625293","type":"journal-article","created":{"date-parts":[[2023,9,26]],"date-time":"2023-09-26T08:22:27Z","timestamp":1695716547000},"page":"1-39","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Poracle: Testing Patches under Preservation Conditions to Combat the Overfitting Problem of Program Repair"],"prefix":"10.1145","volume":"33","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1473-3702","authenticated-orcid":false,"given":"Elkhan","family":"Ismayilzada","sequence":"first","affiliation":[{"name":"UNIST, South Korea"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3106-4117","authenticated-orcid":false,"given":"Md Mazba Ur","family":"Rahman","sequence":"additional","affiliation":[{"name":"UNIST, South Korea"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0272-6860","authenticated-orcid":false,"given":"Dongsun","family":"Kim","sequence":"additional","affiliation":[{"name":"Kyungpook National University, South Korea"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7215-0855","authenticated-orcid":false,"given":"Jooyong","family":"Yi","sequence":"additional","affiliation":[{"name":"UNIST, South Korea"}]}],"member":"320","published-online":{"date-parts":[[2023,12,21]]},"reference":[{"key":"e_1_3_2_2_2","doi-asserted-by":"publisher","DOI":"10.5555\/184656.180369"},{"key":"e_1_3_2_3_2","first-page":"782","volume-title":"35th International Conference on Software Engineering (ICSE\u201913)","author":"Carzaniga Antonio","year":"2013","unstructured":"Antonio Carzaniga, Alessandra Gorla, Andrea Mattavelli, Nicolo Perino, and Mauro Pezze. 2013. Automatic recovery from runtime failures. In 35th International Conference on Software Engineering (ICSE\u201913). IEEE, 782\u2013791."},{"key":"e_1_3_2_4_2","first-page":"237","volume-title":"18th ACM SIGSOFT International Symposium on Foundations of Software Engineering","author":"Carzaniga Antonio","year":"2010","unstructured":"Antonio Carzaniga, Alessandra Gorla, Nicol\u00f2 Perino, and Mauro Pezz\u00e8. 2010. Automatic workarounds for web applications. In 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering. 237\u2013246."},{"key":"e_1_3_2_5_2","article-title":"Contract-based program repair without the contracts: An extended study","author":"Chen Liushan","year":"2020","unstructured":"Liushan Chen, Yu Pei, and Carlo Alberto Furia. 2020. Contract-based program repair without the contracts: An extended study. IEEE Trans. Softw. Eng. 47, 12 (2020).","journal-title":"IEEE Trans. Softw. Eng."},{"key":"e_1_3_2_6_2","first-page":"785","volume-title":"ACM International Conference on Knowledge Discovery and Data Mining (SIGKDD\u201916)","author":"Chen Tianqi","year":"2016","unstructured":"Tianqi Chen and Carlos Guestrin. 2016. XGBoost: A scalable tree boosting system. In ACM International Conference on Knowledge Discovery and Data Mining (SIGKDD\u201916). 785\u2013794."},{"key":"e_1_3_2_7_2","first-page":"569","volume-title":"4th Ibero-American Symposium on Software Engineering and Knowledge Engineering (JIISIC\u201904)","author":"Chen Tsong Yueh","year":"2004","unstructured":"Tsong Yueh Chen, D. H. Huang, T. H. Tse, and Zhi Quan Zhou. 2004. Case studies on the selection of useful relations in metamorphic testing. In 4th Ibero-American Symposium on Software Engineering and Knowledge Engineering (JIISIC\u201904). Citeseer, 569\u2013583."},{"key":"e_1_3_2_8_2","first-page":"268","volume-title":"International Conference on Functional Programming (ICFP\u201900)","author":"Claessen Koen","year":"2000","unstructured":"Koen Claessen and John Hughes. 2000. QuickCheck: A lightweight tool for random testing of Haskell programs. In International Conference on Functional Programming (ICFP\u201900). 268\u2013279."},{"key":"e_1_3_2_9_2","first-page":"4171","volume-title":"Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies","author":"Devlin Jacob","year":"2019","unstructured":"Jacob Devlin, Ming-Wei Chang, Kenton Lee, and Kristina Toutanova. 2019. BERT: Pre-training of deep bidirectional transformers for language understanding. In Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies. 4171\u20134186."},{"key":"e_1_3_2_10_2","unstructured":"The Apache Software Foundation. 2023. The API document of the GCD method. Retrieved from https:\/\/commons.apache.org\/proper\/commons-math\/javadocs\/api-3.6.1\/org\/apache\/commons\/math3\/util\/ArithmeticUtils.html#gcd(int %20int)"},{"key":"e_1_3_2_11_2","unstructured":"The Apache Software Foundation. 2023. The API document of the inverseCumulativeProbability method. Retrieved from https:\/\/commons.apache.org\/proper\/commons-math\/javadocs\/api-3.6.1\/org\/apache\/commons\/math3\/distribution\/NormalDistribution.html#inverseCumulativeProbability(double)"},{"key":"e_1_3_2_12_2","first-page":"8","volume-title":"28th ACM SIGSOFT International Symposium on Software Testing and Analysis","author":"Gao Xiang","year":"2019","unstructured":"Xiang Gao, Sergey Mechtaev, and Abhik Roychoudhury. 2019. Crash-avoiding program repair. In 28th ACM SIGSOFT International Symposium on Software Testing and Analysis. 8\u201318."},{"key":"e_1_3_2_13_2","first-page":"19","volume-title":"28th ACM SIGSOFT International Symposium on Software Testing and Analysis","author":"Ghanbari Ali","year":"2019","unstructured":"Ali Ghanbari, Samuel Benton, and Lingming Zhang. 2019. Practical program repair via bytecode mutation. In 28th ACM SIGSOFT International Symposium on Software Testing and Analysis. 19\u201330."},{"key":"e_1_3_2_14_2","first-page":"282","volume-title":"International Conference on Automated Deduction","author":"Hawblitzel Chris","year":"2013","unstructured":"Chris Hawblitzel, Ming Kawaguchi, Shuvendu K. Lahiri, and Henrique Reb\u00ealo. 2013. Towards modularly comparing programs using automated theorem provers. In International Conference on Automated Deduction. Springer, 282\u2013299."},{"key":"e_1_3_2_15_2","unstructured":"Paul Holser. 2014. junit-quickcheck: Property-based testing JUnit-style. Retrieved from https:\/\/pholser.github.io\/junit-quickcheck\/"},{"key":"e_1_3_2_16_2","unstructured":"JetBrains. 2000. IntelliJ IDEA. Retrieved from https:\/\/www.jetbrains.com\/idea\/"},{"key":"e_1_3_2_17_2","first-page":"298","volume-title":"International Symposium on Software Testing and Analysis (ISSTA\u201918)","author":"Jiang Jiajun","year":"2018","unstructured":"Jiajun Jiang, Yingfei Xiong, Hongyu Zhang, Qing Gao, and Xiangqun Chen. 2018. Shaping program repair space with existing patches and similar code. In International Symposium on Software Testing and Analysis (ISSTA\u201918). ACM, 298\u2013309."},{"key":"e_1_3_2_18_2","first-page":"81","volume-title":"18th International Symposium on Software Testing and Analysis","author":"Jiang Lingxiao","year":"2009","unstructured":"Lingxiao Jiang and Zhendong Su. 2009. Automatic mining of functionally equivalent code fragments via random testing. In 18th International Symposium on Software Testing and Analysis. 81\u201392."},{"key":"e_1_3_2_19_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE48619.2023.00125"},{"key":"e_1_3_2_20_2","first-page":"437","volume-title":"International Symposium on Software Testing and Analysis (ISSTA\u201914)","author":"Just Ren\u00e9","year":"2014","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 International Symposium on Software Testing and Analysis (ISSTA\u201914). 437\u2013440."},{"key":"e_1_3_2_21_2","first-page":"802","volume-title":"International Conference on Software Engineering (ICSE\u201913)","author":"Kim Dongsun","year":"2013","unstructured":"Dongsun Kim, Jaechang Nam, Jaewoo Song, and Sunghun Kim. 2013. Automatic patch generation learned from human-written patches. In International Conference on Software Engineering (ICSE\u201913). 802\u2013811."},{"key":"e_1_3_2_22_2","volume-title":"USENIX Security Symposium","author":"Kim Hyungsub","year":"2023","unstructured":"Hyungsub Kim, Muslum Ozgur Ozmen, Z. Berkay Celik, Antonio Bianchi, and Dongyan Xu. 2023. PatchVerif: Discovering faulty patches in robotic vehicles. In USENIX Security Symposium."},{"key":"e_1_3_2_23_2","doi-asserted-by":"publisher","DOI":"10.1145\/3597926.3598101"},{"key":"e_1_3_2_24_2","first-page":"451","volume-title":"IEEE International Conference on Software Maintenance and Evolution","author":"Le Tien-Duy B.","year":"2014","unstructured":"Tien-Duy B. Le, Jooyong Yi, David Lo, Ferdian Thung, and Abhik Roychoudhury. 2014. Dynamic inference of change contracts. In IEEE International Conference on Software Maintenance and Evolution. IEEE, 451\u2013455."},{"key":"e_1_3_2_25_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2011.104"},{"key":"e_1_3_2_26_2","doi-asserted-by":"publisher","DOI":"10.1145\/2970276.2970356"},{"key":"e_1_3_2_27_2","first-page":"31","volume-title":"International Symposium on Software Testing and Analysis (ISSTA\u201919)","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 International Symposium on Software Testing and Analysis (ISSTA\u201919). 31\u201342."},{"key":"e_1_3_2_28_2","first-page":"615","volume-title":"International Conference on Software Engineering (ICSE\u201920)","author":"Liu Kui","year":"2020","unstructured":"Kui Liu, Shangwen Wang, Anil Koyuncu, Kisub Kim, Tegawend\u00e9 F. Bissyand\u00e9, Dongsun Kim, Peng Wu, Jacques Klein, Xiaoguang Mao, and Yves Le Traon. 2020. On the efficiency of test suite based program repair: A systematic assessment of 16 automated repair systems for Java programs. In International Conference on Software Engineering (ICSE\u201920). 615\u2013627."},{"key":"e_1_3_2_29_2","first-page":"298","volume-title":"ACM SIGPLAN Symposium on Principles of Programming Languages (POPL\u201916)","author":"Long Fan","year":"2016","unstructured":"Fan Long and Martin Rinard. 2016. Automatic patch generation by learning correct code. In ACM SIGPLAN Symposium on Principles of Programming Languages (POPL\u201916). 298\u2013312."},{"key":"e_1_3_2_30_2","first-page":"702","volume-title":"International Conference on Software Engineering (ICSE\u201916)","author":"Long Fan","year":"2016","unstructured":"Fan Long and Martin C. Rinard. 2016. An analysis of the search spaces for generate and validate patch generation systems. In International Conference on Software Engineering (ICSE\u201916). 702\u2013713."},{"key":"e_1_3_2_31_2","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1214\/aoms\/1177730491","article-title":"On a test of whether one of two random variables is stochastically larger than the other","author":"Mann Henry B.","year":"1947","unstructured":"Henry B. Mann and Donald R. Whitney. 1947. On a test of whether one of two random variables is stochastically larger than the other. Ann. Math. Stat. 18, 1 (1947), 50\u201360.","journal-title":"Ann. Math. Stat."},{"key":"e_1_3_2_32_2","first-page":"475","volume-title":"30th Annual International Computer Software and Applications Conference (COMPSAC\u201906)","volume":"1","author":"Mayer Johannes","year":"2006","unstructured":"Johannes Mayer and Ralph Guderlei. 2006. An empirical study on the selection of good metamorphic relations. In 30th Annual International Computer Software and Applications Conference (COMPSAC\u201906), Vol. 1. IEEE, 475\u2013484."},{"key":"e_1_3_2_33_2","first-page":"448","volume-title":"International Conference on Software Engineering (ICSE\u201915)","author":"Mechtaev Sergey","year":"2015","unstructured":"Sergey Mechtaev, Jooyong Yi, and Abhik Roychoudhury. 2015. DirectFix: Looking for simple program repairs. In International Conference on Software Engineering (ICSE\u201915). 448\u2013458."},{"key":"e_1_3_2_34_2","first-page":"691","volume-title":"International Conference on Software Engineering (ICSE\u201916)","author":"Mechtaev Sergey","year":"2016","unstructured":"Sergey Mechtaev, Jooyong Yi, and Abhik Roychoudhury. 2016. Angelix: Scalable multiline program patch synthesis via symbolic analysis. In International Conference on Software Engineering (ICSE\u201916). 691\u2013701."},{"key":"e_1_3_2_35_2","first-page":"65","volume-title":"ACM\/IEEE International Symposium on Empirical Software Engineering and Measurement","author":"Meneely Andrew","year":"2013","unstructured":"Andrew Meneely, Harshavardhan Srinivasan, Ayemi Musa, Alberto Rodriguez Tejeda, Matthew Mokary, and Brian Spates. 2013. When a patch goes bad: Exploring the properties of vulnerability-contributing commits. In ACM\/IEEE International Symposium on Empirical Software Engineering and Measurement. IEEE, 65\u201374."},{"key":"e_1_3_2_36_2","unstructured":"Microsoft. 2021. Visual Studio Code. Retrieved from https:\/\/code.visualstudio.com\/"},{"key":"e_1_3_2_37_2","doi-asserted-by":"publisher","DOI":"10.1145\/3105906"},{"key":"e_1_3_2_38_2","first-page":"229","volume-title":"IEEE Conference on Software Testing, Verification and Validation (ICST\u201921)","author":"Nilizadeh Amirfarhad","year":"2021","unstructured":"Amirfarhad Nilizadeh, Gary T. Leavens, Xuan-Bach D. Le, Corina S. P\u0103s\u0103reanu, and David R. Cok. 2021. Exploring true test overfitting in dynamic automated program repair using formal methods. In IEEE Conference on Software Testing, Verification and Validation (ICST\u201921). IEEE, 229\u2013240."},{"key":"e_1_3_2_39_2","first-page":"1273","volume-title":"International Conference on Software Engineering (ICSE\u201920)","author":"Noller Yannic","year":"2020","unstructured":"Yannic Noller, Corina S. P\u0103s\u0103reanu, Marcel B\u00f6hme, Youcheng Sun, Hoang Lam Nguyen, and Lars Grunske. 2020. HyDiff: Hybrid differential software analysis. In International Conference on Software Engineering (ICSE\u201920). IEEE, 1273\u20131285."},{"key":"e_1_3_2_40_2","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1109\/ICSE.2007.37","volume-title":"International Conference on Software Engineering (ICSE\u201907)","author":"Pacheco Carlos","year":"2007","unstructured":"Carlos Pacheco, Shuvendu K. Lahiri, Michael D. Ernst, and Thomas Ball. 2007. Feedback-directed random test generation. In International Conference on Software Engineering (ICSE\u201907). IEEE, 75\u201384."},{"key":"e_1_3_2_41_2","first-page":"398","volume-title":"ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA\u201919)","author":"Padhye Rohan","year":"2019","unstructured":"Rohan Padhye, Caroline Lemieux, and Koushik Sen. 2019. JQF: Coverage-guided property-based testing in Java. In ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA\u201919). 398\u2013401."},{"key":"e_1_3_2_42_2","first-page":"1181","volume-title":"International Conference on Software Engineering (ICSE\u201916)","author":"Palikareva Hristina","year":"2016","unstructured":"Hristina Palikareva, Tomasz Kuchta, and Cristian Cadar. 2016. Shadow of a doubt: Testing for divergences between software versions. In International Conference on Software Engineering (ICSE\u201916). 1181\u20131192."},{"key":"e_1_3_2_43_2","first-page":"199","volume-title":"International Symposium on Software Testing and Analysis (ISSTA\u201911)","author":"Parnin Chris","year":"2011","unstructured":"Chris Parnin and Alessandro Orso. 2011. Are automated debugging techniques actually helping programmers? In International Symposium on Software Testing and Analysis (ISSTA\u201911). 199\u2013209."},{"key":"e_1_3_2_44_2","first-page":"615","volume-title":"IEEE Symposium on Security and Privacy (SP\u201917)","author":"Petsios Theofilos","year":"2017","unstructured":"Theofilos Petsios, Adrian Tang, Salvatore Stolfo, Angelos D. Keromytis, and Suman Jana. 2017. Nezha: Efficient domain-independent differential testing. In IEEE Symposium on Security and Privacy (SP\u201917). IEEE, 615\u2013632."},{"key":"e_1_3_2_45_2","volume-title":"38th International Conference on Automated Software Engineering (ASE\u201923)","author":"Shahoor Arooba","year":"2023","unstructured":"Arooba Shahoor, Askar Yeltayuly Khamit, Jooyong Yi, and Dongsun Kim. 2023. LeakPair: Proactive repairing of memory leaks in single page web applications. In 38th International Conference on Automated Software Engineering (ASE\u201923)."},{"key":"e_1_3_2_46_2","doi-asserted-by":"publisher","DOI":"10.1145\/3453483.3454051"},{"key":"e_1_3_2_47_2","first-page":"532","volume-title":"ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC\/FSE\u201915)","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 ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC\/FSE\u201915). 532\u2013543."},{"key":"e_1_3_2_48_2","first-page":"727","volume-title":"International Symposium on Foundations of Software Engineering (FSE\u201916)","author":"Tan Shin Hwei","year":"2016","unstructured":"Shin Hwei Tan, Hiroaki Yoshida, Mukul R. Prasad, and Abhik Roychoudhury. 2016. Anti-patterns in search-based program repair. In International Symposium on Foundations of Software Engineering (FSE\u201916). 727\u2013738."},{"key":"e_1_3_2_49_2","doi-asserted-by":"publisher","DOI":"10.1145\/3511096"},{"key":"e_1_3_2_50_2","first-page":"981","volume-title":"International Conference on Automated Software Engineering (ASE\u201920)","author":"Tian Haoye","year":"2020","unstructured":"Haoye Tian, Kui Liu, Abdoul Kader Kabor\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 International Conference on Automated Software Engineering (ASE\u201920). IEEE, 981\u2013992."},{"key":"e_1_3_2_51_2","doi-asserted-by":"publisher","DOI":"10.1145\/1095430.1081749"},{"key":"e_1_3_2_52_2","doi-asserted-by":"publisher","DOI":"10.1145\/3324884.3416590"},{"key":"e_1_3_2_53_2","first-page":"1","volume-title":"International Conference on Software Engineering (ICSE\u201918)","author":"Wen Ming","year":"2018","unstructured":"Ming Wen, Junjie Chen, Rongxin Wu, Dan Hao, and Shing-Chi Cheung. 2018. Context-aware patch generation for better automated program repair. In International Conference on Software Engineering (ICSE\u201918). ACM, 1\u201311."},{"key":"e_1_3_2_54_2","first-page":"354","volume-title":"Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC\/FSE\u201921)","author":"Wong Chu-Pan","year":"2021","unstructured":"Chu-Pan Wong, Priscila Santiesteban, Christian K\u00e4stner, and Claire Le Goues. 2021. VarFix: Balancing edit expressiveness and search effectiveness in automated program repair. In Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC\/FSE\u201921). 354\u2013366."},{"key":"e_1_3_2_55_2","doi-asserted-by":"publisher","DOI":"10.1145\/3540250.3549101"},{"key":"e_1_3_2_56_2","first-page":"226","volume-title":"International Symposium on Software Testing and Analysis (ISSTA\u201917)","author":"Xin Qi","year":"2017","unstructured":"Qi Xin and Steven P. Reiss. 2017. Identifying test-suite-overfitted patches through test case generation. In International Symposium on Software Testing and Analysis (ISSTA\u201917). 226\u2013236."},{"key":"e_1_3_2_57_2","doi-asserted-by":"crossref","first-page":"789","DOI":"10.1145\/3180155.3180182","volume-title":"International Conference on Software Engineering (ICSE\u201918)","author":"Xiong Yingfei","year":"2018","unstructured":"Yingfei Xiong, Xinyuan Liu, Muhan Zeng, Lu Zhang, and Gang Huang. 2018. Identifying patch correctness in test-based program repair. In International Conference on Software Engineering (ICSE\u201918). 789\u2013799."},{"key":"e_1_3_2_58_2","first-page":"416","volume-title":"International Conference on Software Engineering (ICSE\u201917)","author":"Xiong Yingfei","year":"2017","unstructured":"Yingfei Xiong, Jie Wang, Runfa Yan, Jiachen Zhang, Shi Han, Gang Huang, and Lu Zhang. 2017. Precise condition synthesis for program repair. In International Conference on Software Engineering (ICSE\u201917). 416\u2013426."},{"key":"e_1_3_2_59_2","first-page":"1","volume-title":"IEEE 2nd International Workshop on Intelligent Bug Fixing (IBF\u201920)","author":"Yang Bo","year":"2020","unstructured":"Bo Yang and Jinqiu Yang. 2020. Exploring the differences between plausible and correct patches at fine-grained level. In IEEE 2nd International Workshop on Intelligent Bug Fixing (IBF\u201920). IEEE, 1\u20138."},{"key":"e_1_3_2_60_2","first-page":"831","volume-title":"Joint Meeting on Foundations of Software Engineering (FSE\u201917)","author":"Yang Jinqiu","year":"2017","unstructured":"Jinqiu Yang, Alexey Zhikhartsev, Yuefei Liu, and Lin Tan. 2017. Better test cases for better automated program repair. In Joint Meeting on Foundations of Software Engineering (FSE\u201917). 831\u2013841."},{"key":"e_1_3_2_61_2","article-title":"Automated classification of overfitting patches with statically extracted code features","author":"Ye He","year":"2021","unstructured":"He Ye, Jian Gu, Matias Martinez, Thomas Durieux, and Martin Monperrus. 2021. Automated classification of overfitting patches with statically extracted code features. IEEE Trans. Softw. Eng. 48, 8 (2021).","journal-title":"IEEE Trans. Softw. Eng."},{"key":"e_1_3_2_62_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2020.110825"},{"key":"e_1_3_2_63_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2022.106865"},{"key":"e_1_3_2_64_2","first-page":"1","volume-title":"International Symposium on Software Testing and Analysis","author":"Yi Jooyong","year":"2013","unstructured":"Jooyong Yi, Dawei Qi, Shin Hwei Tan, and Abhik Roychoudhury. 2013. Expressing and checking intended changes via software change contracts. In International Symposium on Software Testing and Analysis. 1\u201311."},{"key":"e_1_3_2_65_2","doi-asserted-by":"publisher","DOI":"10.1145\/2729973"},{"key":"e_1_3_2_66_2","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-018-9619-4"}],"container-title":["ACM Transactions on Software Engineering and Methodology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3625293","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3625293","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:36:32Z","timestamp":1750178192000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3625293"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,12,21]]},"references-count":65,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2024,2,29]]}},"alternative-id":["10.1145\/3625293"],"URL":"https:\/\/doi.org\/10.1145\/3625293","relation":{},"ISSN":["1049-331X","1557-7392"],"issn-type":[{"value":"1049-331X","type":"print"},{"value":"1557-7392","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,12,21]]},"assertion":[{"value":"2023-01-24","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2023-09-06","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2023-12-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}