{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:15:03Z","timestamp":1750220103555,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":50,"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:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"National Science Foundation","award":["CCF-2131943"],"award-info":[{"award-number":["CCF-2131943"]}]},{"name":"National Science Foundation2","award":["CCF-2141474"],"award-info":[{"award-number":["CCF-2141474"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,5,21]]},"DOI":"10.1145\/3510003.3510117","type":"proceedings-article","created":{"date-parts":[[2022,7,5]],"date-time":"2022-07-05T22:42:59Z","timestamp":1657060979000},"page":"2165-2176","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":9,"title":["Towards boosting patch execution on-the-fly"],"prefix":"10.1145","author":[{"given":"Samuel","family":"Benton","sequence":"first","affiliation":[{"name":"University of Texas at Dallas"}]},{"given":"Yuntong","family":"Xie","sequence":"additional","affiliation":[{"name":"Tsinghua University"}]},{"given":"Lan","family":"Lu","sequence":"additional","affiliation":[{"name":"Southern University of Science and Technology"}]},{"given":"Mengshi","family":"Zhang","sequence":"additional","affiliation":[{"name":"Meta Platforms, Inc."}]},{"given":"Xia","family":"Li","sequence":"additional","affiliation":[{"name":"Kennesaw State University"}]},{"given":"Lingming","family":"Zhang","sequence":"additional","affiliation":[{"name":"University of Illinois at Urbana-Champaign"}]}],"member":"320","published-online":{"date-parts":[[2022,7,5]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"\"Tricentis reports \" 2020. [Online]. Available: https:\/\/www.tricentis.com\/resources\/software-fail-watch-5th-edition\/"},{"key":"e_1_3_2_1_2_1","volume-title":"accessed","author":"Boulder C.","year":"2019","unstructured":"C. Boulder, \"University of cambridge study,\" https:\/\/www.roguewave.com\/company\/news\/2013\/university-of-cambridge-reverse-debugging-study, 2013, accessed: Jan. 8, 2019."},{"key":"e_1_3_2_1_3_1","first-page":"1166","volume-title":"Automated Patch Correctness Assessment: How Far are We?\" in Proceedings of the 35th IEEE\/ACM International Conference on Automated Software Engineering","author":"Wang S.","year":"2020","unstructured":"S. Wang, M. Wen, B. Lin, X. Mao, H. Wu, D. Zou, H. Jin, and Y. Qin, \"Automated Patch Correctness Assessment: How Far are We?\" in Proceedings of the 35th IEEE\/ACM International Conference on Automated Software Engineering, 2020, pp. 1166--1178."},{"key":"e_1_3_2_1_4_1","volume-title":"TBAR: Revisiting template-based automated program repair,\" in Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis","author":"Liu K.","year":"2019","unstructured":"K. Liu, A. Koyuncu, D. Kim, and T. F. Bissyand\u00e9, \"TBAR: Revisiting template-based automated program repair,\" in Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019."},{"key":"e_1_3_2_1_5_1","volume-title":"AVATAR: Fixing Semantic Bugs with Fix Patterns of Static Analysis Violations,\" in Proceedings of the 2019 IEEE 26th International Conference on Software Analysis, Evolution, and Reengineering","author":"Liu K.","year":"2019","unstructured":"K. Liu, A. Koyuncu, D. Kim, and T. F. Bissyande, \"AVATAR: Fixing Semantic Bugs with Fix Patterns of Static Analysis Violations,\" in Proceedings of the 2019 IEEE 26th International Conference on Software Analysis, Evolution, and Reengineering, 2019."},{"key":"e_1_3_2_1_6_1","volume-title":"AST 2016","author":"Durieux T.","year":"2016","unstructured":"T. Durieux and M. Monperrus, \"DynaMoth: Dynamic code synthesis for automatic program repair,\" in Proceedings - 11th International Workshop on Automation of Software Test, AST 2016, 2016."},{"key":"e_1_3_2_1_7_1","volume-title":"Ultra-large repair search space with automatically mined templates: The cardumen mode of astor,\" in Lecture Notes in Computer Science","author":"Martinez M.","year":"2018","unstructured":"M. Martinez and M. Monperrus, \"Ultra-large repair search space with automatically mined templates: The cardumen mode of astor,\" in Lecture Notes in Computer Science, 2018."},{"key":"e_1_3_2_1_8_1","volume-title":"Shaping program repair space with existing patches and similar code,\" in Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis","author":"Jiang J.","year":"2018","unstructured":"J. Jiang, Y. Xiong, H. Zhang, Q. Gao, and X. Chen, \"Shaping program repair space with existing patches and similar code,\" in Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2018."},{"key":"e_1_3_2_1_9_1","volume-title":"ASTOR: A program repair library for Java (Demo),\" in Proceedings of the 25th International Symposium on Software Testing and Analysis","author":"Martinez M.","year":"2016","unstructured":"M. Martinez and M. Monperrus, \"ASTOR: A program repair library for Java (Demo),\" in Proceedings of the 25th International Symposium on Software Testing and Analysis, 2016."},{"key":"e_1_3_2_1_10_1","article-title":"ARJA: Automated Repair of Java Programs via Multi-Objective Genetic Programming","author":"Yuan Y.","year":"2018","unstructured":"Y. Yuan and W. Banzhaf, \"ARJA: Automated Repair of Java Programs via Multi-Objective Genetic Programming,\" IEEE Transactions on Software Engineering, 2018.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"e_1_3_2_1_11_1","volume-title":"History-driven build failure fixing: How far are we?\" in Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis","author":"Lou Y.","year":"2019","unstructured":"Y. Lou, J. Chen, L. Zhang, D. Hao, and L. Zhang, \"History-driven build failure fixing: How far are we?\" in Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019."},{"key":"e_1_3_2_1_12_1","volume-title":"ASE 2019","author":"Wu M.","year":"2019","unstructured":"M. Wu, L. Zhang, C. Liu, S. H. Tan, and Y. Zhang, \"Automating CUDA synchronization via program transformation,\" in IEEE\/ACM International Conference on Automated Software Engineering, ASE 2019, 2019."},{"key":"e_1_3_2_1_13_1","volume-title":"ASE 2019","author":"Jiang J.","year":"2019","unstructured":"J. Jiang, L. Ren, Y. Xiong, and L. Zhang, \"Inferring program transformations from singular examples via big code,\" in IEEE\/ACM International Conference on Automated Software Engineering, ASE 2019, 2019."},{"key":"e_1_3_2_1_14_1","first-page":"298","volume-title":"Automatic patch generation by learning correct code,\" in Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","author":"Long F.","year":"2016","unstructured":"F. Long and M. Rinard, \"Automatic patch generation by learning correct code,\" in Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016, pp. 298--312."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2771783.2771791"},{"key":"e_1_3_2_1_16_1","first-page":"166","volume-title":"Staged program repair with condition synthesis,\" in Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering","author":"Long F.","year":"2015","unstructured":"F. Long and M. Rinard, \"Staged program repair with condition synthesis,\" in Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015, pp. 166--178."},{"key":"e_1_3_2_1_17_1","first-page":"727","volume-title":"Automatic inference of code transforms for patch generation,\" in Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering","author":"Long F.","year":"2017","unstructured":"F. Long, P. Amidon, and M. Rinard, \"Automatic inference of code transforms for patch generation,\" in Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017, pp. 727--739."},{"key":"e_1_3_2_1_18_1","volume-title":"An analysis of the search spaces for generate and validate patch generation systems,\" in Proceedings of the International Conference on Software Engineering","author":"Long F.","year":"2016","unstructured":"F. Long and M. Rinard, \"An analysis of the search spaces for generate and validate patch generation systems,\" in Proceedings of the International Conference on Software Engineering, 2016."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2016.2521368"},{"key":"e_1_3_2_1_20_1","first-page":"2007","article-title":"On the accuracy of spectrum-based fault localization,\" in Proceedings - Testing: Academic and Industrial Conference Practice and Research Techniques","author":"Abreu R.","year":"2007","unstructured":"R. Abreu, P. Zoeteweij, and A. J. Van Gemund, \"On the accuracy of spectrum-based fault localization,\" in Proceedings - Testing: Academic and Industrial Conference Practice and Research Techniques, TAIC PART-Mutation 2007, 2007.","journal-title":"TAIC PART-Mutation"},{"key":"e_1_3_2_1_21_1","volume-title":"ASE 2005","author":"Jones J. A.","year":"2005","unstructured":"J. A. Jones and M. J. Harrold, \"Empirical evaluation of the tarantula automatic fault-localization technique,\" in 20th IEEE\/ACM International Conference on Automated Software Engineering, ASE 2005, 2005."},{"key":"e_1_3_2_1_22_1","volume-title":"Practical program repair via bytecode mutation,\" in ISSTA 2019 - Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis","author":"Ghanbari A.","year":"2019","unstructured":"A. Ghanbari, S. Benton, and L. Zhang, \"Practical program repair via bytecode mutation,\" in ISSTA 2019 - Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019."},{"volume-title":"Context-aware patch generation for better automated program repair,\" in Proceedings - International Conference on Software Engineering","author":"Wen M.","key":"e_1_3_2_1_23_1","unstructured":"M. Wen, J. Chen, R. Wu, D. Hao, and S. C. Cheung, \"Context-aware patch generation for better automated program repair,\" in Proceedings - International Conference on Software Engineering, vol. 2018-January, 2018."},{"key":"e_1_3_2_1_24_1","first-page":"3","article-title":"A systematic study of automated program repair: Fixing 55 out of 105 bugs for $8 each","author":"Le Goues C.","year":"2012","unstructured":"C. Le Goues, M. Dewey-Vogt, S. Forrest, and W. Weimer, \"A systematic study of automated program repair: Fixing 55 out of 105 bugs for $8 each,\" Proceedings of International Conference on Software Engineering, pp. 3--13, 2012.","journal-title":"Proceedings of International Conference on Software Engineering"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2016.2560811"},{"key":"e_1_3_2_1_26_1","first-page":"416","volume-title":"Precise condition synthesis for program repair,\" in IEEE\/ACM 39th International Conference on Software Engineering","author":"Xiong Y.","year":"2017","unstructured":"Y. Xiong, J. Wang, R. Yan, J. Zhang, S. Han, G. Huang, and L. Zhang, \"Precise condition synthesis for program repair,\" in IEEE\/ACM 39th International Conference on Software Engineering, 2017, pp. 416--426."},{"key":"e_1_3_2_1_27_1","first-page":"269","volume-title":"Sapfix: Automated end-to-end repair at scale,\" in IEEE\/ACM 41st International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP)","author":"Marginean A.","year":"2019","unstructured":"A. Marginean, J. Bader, S. Chandra, M. Harman, Y. Jia, K. Mao, A. Mols, and A. Scott, \"Sapfix: Automated end-to-end repair at scale,\" in IEEE\/ACM 41st International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP), 2019, pp. 269--278."},{"key":"e_1_3_2_1_28_1","first-page":"648","article-title":"Elixir: Effective object-oriented program repair","author":"Saha R. K.","year":"2017","unstructured":"R. K. Saha, Y. Lyu, H. Yoshida, and M. R. Prasad, \"Elixir: Effective object-oriented program repair,\" in IEEE\/ACM International Conference on Automated Software Engineering, 2017, pp. 648--659.","journal-title":"IEEE\/ACM International Conference on Automated Software Engineering"},{"key":"e_1_3_2_1_29_1","volume-title":"Can automated program repair refine fault localization? a unified debugging approach,\" in Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis","author":"Lou Y.","year":"2020","unstructured":"Y. Lou, A. Ghanbari, X. Li, L. Zhang, H. Zhang, D. Hao, and L. Zhang, \"Can automated program repair refine fault localization? a unified debugging approach,\" in Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020."},{"key":"e_1_3_2_1_30_1","first-page":"1123","volume-title":"Fast and precise on-the-fly patch validation for all,\" in 2021 IEEE\/ACM 43rd International Conference on Software Engineering (ICSE)","author":"Chen L.","year":"2021","unstructured":"L. Chen, Y. Ouyang, and L. Zhang, \"Fast and precise on-the-fly patch validation for all,\" in 2021 IEEE\/ACM 43rd International Conference on Software Engineering (ICSE), 2021, pp. 1123--1134."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-013-9208-0"},{"key":"e_1_3_2_1_32_1","first-page":"356","article-title":"Leveraging program equivalence for adaptive program repair: Models and first results","author":"Weimer W.","year":"2013","unstructured":"W. Weimer, Z. P. Fry, and S. Forrest, \"Leveraging program equivalence for adaptive program repair: Models and first results,\" in IEEE\/ACM International Conference on Automated Software Engineering, 2013, pp. 356--366.","journal-title":"IEEE\/ACM International Conference on Automated Software Engineering"},{"key":"e_1_3_2_1_33_1","first-page":"227","volume-title":"Verification and Validation","author":"Mehne B.","year":"2018","unstructured":"B. Mehne, H. Yoshida, M. R. Prasad, K. Sen, D. Gopinath, and S. Khurshid, \"Accelerating search-based program repair,\" in International Conference on Software Testing, Verification and Validation, 2018, pp. 227--238."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2014.2312918"},{"key":"e_1_3_2_1_35_1","volume-title":"Static automated program repair for heap properties,\" in Proceedings of the 40th International Conference on Software Engineering","author":"van Tonder R.","year":"2018","unstructured":"R. van Tonder and C. L. Goues, \"Static automated program repair for heap properties,\" in Proceedings of the 40th International Conference on Software Engineering, 2018."},{"key":"e_1_3_2_1_36_1","volume-title":"Mining relevant fix patterns for automated program repair,\" Empirical Software Engineering","author":"Koyuncu A.","year":"2020","unstructured":"A. Koyuncu, K. Liu, T. Bissyand\u00e9, D. Kim, J. Klein, M. Monperrus, and Y. LeTraon, \"FixMiner: Mining relevant fix patterns for automated program repair,\" Empirical Software Engineering, 2020."},{"key":"e_1_3_2_1_37_1","volume-title":"Verification and Validation","author":"Liu K.","year":"2019","unstructured":"K. Liu, A. Koyuncu, T. Bissyande, D. Kim, J. Klein, and Y. LeTraon, \"You cannot fix what you cannot find! an investigation of fault localization bias in benchmarking automated program repair systems,\" Proceedings of 12th IEEE International Conference on Software Testing, Verification and Validation, 2019."},{"key":"e_1_3_2_1_38_1","volume-title":"On the efficiency of test suite based program repair a systematic assessment of 16 automated repair systems for java programs,\" in Proceedings of International Conference on Software Engineering","author":"Liu K.","year":"2020","unstructured":"K. Liu, S. Wang, A. Koyuncu, K. Kim, T. F. Bissyande, D. Kim, P. Wu, J. Klein, X. Mao, and Y. L. Traon, \"On the efficiency of test suite based program repair a systematic assessment of 16 automated repair systems for java programs,\" in Proceedings of International Conference on Software Engineering, 2020."},{"key":"e_1_3_2_1_39_1","volume-title":"Automatic patch generation learned from human-written patches,\" in Proceedings of International Conference on Software Engineering","author":"Kim D.","year":"2013","unstructured":"D. Kim, J. Nam, J. Song, and S. Kim, \"Automatic patch generation learned from human-written patches,\" in Proceedings of International Conference on Software Engineering, 2013."},{"key":"e_1_3_2_1_40_1","unstructured":"X. B. D. Le D. Lo and C. Le Goues \"History driven program repair \" in IEEE International Conference on Software Analysis Evolution and Reengineering vol. 1 2016 pp. 213--224."},{"key":"e_1_3_2_1_41_1","volume-title":"Z3: An efficient SMT Solver,\" in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)","author":"De Moura L.","year":"2008","unstructured":"L. De Moura and N. Bj\u00f8rner, \"Z3: An efficient SMT Solver,\" in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 4963 LNCS, 2008."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/3395363.3397369"},{"key":"e_1_3_2_1_43_1","first-page":"327","volume-title":"Patching as Translation : the Data and the Metaphor,\" in Proceedings of the 35th IEEE\/ACM International Conference on Automated Software Engineering","author":"Ding Y.","year":"2020","unstructured":"Y. Ding, B. Ray, and V. J. Hellendoorn, \"Patching as Translation : the Data and the Metaphor,\" in Proceedings of the 35th IEEE\/ACM International Conference on Automated Software Engineering, 2020, pp. 327--338."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/3324884.3416566"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2021.3125203"},{"key":"e_1_3_2_1_46_1","volume-title":"Faster mutation testing inspired by test prioritization and reduction,\" in International Symposium on Software Testing and Analysis","author":"Zhang L.","year":"2013","unstructured":"L. Zhang, D. Marinov, and S. Khurshid, \"Faster mutation testing inspired by test prioritization and reduction,\" in International Symposium on Software Testing and Analysis, 2013."},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2013.29"},{"key":"e_1_3_2_1_48_1","volume-title":"Visualization of test information to assist fault localization,\" in Proceedings of International Conference on Software Engineering","author":"Jones J. A.","year":"2002","unstructured":"J. A. Jones, M. J. Harrold, and J. Stasko, \"Visualization of test information to assist fault localization,\" in Proceedings of International Conference on Software Engineering, 2002."},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1145\/3092703.3092731","volume-title":"Boosting spectrum-based fault localization using pagerank,\" in Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis","author":"Zhang M.","year":"2017","unstructured":"M. Zhang, X. Li, L. Zhang, and S. Khurshid, \"Boosting spectrum-based fault localization using pagerank,\" in Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2017, pp. 261--272."},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2017.2755013"}],"event":{"name":"ICSE '22: 44th International Conference on Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"],"location":"Pittsburgh Pennsylvania","acronym":"ICSE '22"},"container-title":["Proceedings of the 44th International Conference on Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3510003.3510117","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3510003.3510117","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T18:10:24Z","timestamp":1750183824000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3510003.3510117"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,5,21]]},"references-count":50,"alternative-id":["10.1145\/3510003.3510117","10.1145\/3510003"],"URL":"https:\/\/doi.org\/10.1145\/3510003.3510117","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"}}]}}