{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:26:48Z","timestamp":1750220808811,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":36,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,10,28]],"date-time":"2019-10-28T00:00:00Z","timestamp":1572220800000},"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":[[2019,10,28]]},"DOI":"10.1145\/3361242.3361245","type":"proceedings-article","created":{"date-parts":[[2019,10,24]],"date-time":"2019-10-24T19:04:48Z","timestamp":1571943888000},"page":"1-10","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Speedup Automatic Program Repair Using Dynamic Software Updating"],"prefix":"10.1145","author":[{"given":"Rongxun","family":"Guo","sequence":"first","affiliation":[{"name":"State Key Laboratory for Novel Software Technology, Nanjing University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tianxiao","family":"Gu","sequence":"additional","affiliation":[{"name":"Alibaba Group, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yuan","family":"Yao","sequence":"additional","affiliation":[{"name":"State Key Laboratory for Novel Software Technology, Nanjing University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Feng","family":"Xu","sequence":"additional","affiliation":[{"name":"State Key Laboratory for Novel Software Technology, Nanjing University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaoxing","family":"Ma","sequence":"additional","affiliation":[{"name":"State Key Laboratory for Novel Software Technology, Nanjing University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2019,10,28]]},"reference":[{"volume-title":"Proceedings of the 2010 Third International Conference on Software Testing, Verification and Validation. 65--74","author":"Debroy Vidroha","key":"e_1_3_2_1_1_1","unstructured":"Vidroha Debroy and W. Eric Wong . 2010. Using Mutation to Automatically Suggest Fixes for Faulty Programs . In Proceedings of the 2010 Third International Conference on Software Testing, Verification and Validation. 65--74 . Vidroha Debroy and W. Eric Wong. 2010. Using Mutation to Automatically Suggest Fixes for Faulty Programs. In Proceedings of the 2010 Third International Conference on Software Testing, Verification and Validation. 65--74."},{"key":"e_1_3_2_1_2_1","volume-title":"Proceedings of the Workshop on Engineering Complex Object-Oriented Systems for Evolution.","author":"Dmitriev Mikhail","year":"2001","unstructured":"Mikhail Dmitriev . 2001 . Towards Flexible and Safe Technology for Runtime Evolution of Java Language Applications . In Proceedings of the Workshop on Engineering Complex Object-Oriented Systems for Evolution. Mikhail Dmitriev. 2001. Towards Flexible and Safe Technology for Runtime Evolution of Java Language Applications. In Proceedings of the Workshop on Engineering Complex Object-Oriented Systems for Evolution."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.2012.55"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2014.04.003"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2970276.2970360"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180245"},{"key":"e_1_3_2_1_7_1","unstructured":"Oracle Inc. 2019. Interface Instrumentation. https:\/\/docs.oracle.com\/javase\/8\/docs\/api\/java\/lang\/instrument\/Instrumentation.html.  Oracle Inc. 2019. Interface Instrumentation. https:\/\/docs.oracle.com\/javase\/8\/docs\/api\/java\/lang\/instrument\/Instrumentation.html."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3213846.3213871"},{"volume-title":"Proceedings of the 2014 International Symposium on Software Testing and Analysis. 437--440","author":"Just Ren\u00e9","key":"e_1_3_2_1_9_1","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 Proceedings of the 2014 International Symposium on Software Testing and Analysis. 437--440 . 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 Proceedings of the 2014 International Symposium on Software Testing and Analysis. 437--440."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106309"},{"volume-title":"Proceedings 2019 IEEE 26th International Conference on Software Analysis, Evolution and Reengineering (SANER). 1--12","author":"Liu Kui","key":"e_1_3_2_1_11_1","unstructured":"Kui Liu , Anil Koyuncu , Dongsun Kim , and Tegawend\u00e9 F. Bissyand\u00e9 . 2018. AVATAR: Fixing Semantic Bugs with Fix Patterns of Static Analysis Violations . In Proceedings 2019 IEEE 26th International Conference on Software Analysis, Evolution and Reengineering (SANER). 1--12 . Kui Liu, Anil Koyuncu, Dongsun Kim, and Tegawend\u00e9 F. Bissyand\u00e9. 2018. AVATAR: Fixing Semantic Bugs with Fix Patterns of Static Analysis Violations. In Proceedings 2019 IEEE 26th International Conference on Software Analysis, Evolution and Reengineering (SANER). 1--12."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786811"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2666356.2594337"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2931037.2948705"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"crossref","unstructured":"Thanh-Toan Nguyen Quang-Trung Ta and Wei-Ngan Chin. 2019. Automatic Program Repair Using Formal Verification and Expression Templates. In Verification Model Checking and Abstract Interpretation. 70--91.  Thanh-Toan Nguyen Quang-Trung Ta and Wei-Ngan Chin. 2019. Automatic Program Repair Using Formal Verification and Expression Templates. In Verification Model Checking and Abstract Interpretation. 70--91.","DOI":"10.1007\/978-3-030-11245-5_4"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.4370040303"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/2818754.2818867"},{"volume-title":"Pitest: Real world mutation testing","year":"2019","key":"e_1_3_2_1_18_1","unstructured":"pitest.org. 2019 . Pitest: Real world mutation testing . http:\/\/pitest.org. pitest.org. 2019. Pitest: Real world mutation testing. http:\/\/pitest.org."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2013.29"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568254"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2771783.2771791"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786825"},{"volume-title":"Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation. 1--12","author":"Subramanian Suriya","key":"e_1_3_2_1_23_1","unstructured":"Suriya Subramanian , Michael Hicks , and Kathryn S . McKinley. 2009. Dynamic software updates: A VM-centric approach . In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation. 1--12 . Suriya Subramanian, Michael Hicks, and Kathryn S. McKinley. 2009. Dynamic software updates: A VM-centric approach. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation. 1--12."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2016.18"},{"volume-title":"Proceedings of the 1993 ACM SIGSOFT International Symposium on Software Testing and Analysis. 139--148","author":"Untch Roland H.","key":"e_1_3_2_1_25_1","unstructured":"Roland H. Untch , A. Jefferson Offutt, and Mary Jean Harrold. 1993. Mutation Analysis Using Mutant Schemata . In Proceedings of the 1993 ACM SIGSOFT International Symposium on Software Testing and Analysis. 139--148 . Roland H. Untch, A. Jefferson Offutt, and Mary Jean Harrold. 1993. Mutation Analysis Using Mutant Schemata. In Proceedings of the 1993 ACM SIGSOFT International Symposium on Software Testing and Analysis. 139--148."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/3092703.3092714"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070536"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180233"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1852761.1852764"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2011.06.005"},{"volume-title":"Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis. 226--236","author":"Xin Qi","key":"e_1_3_2_1_31_1","unstructured":"Qi Xin and Steven P. Reiss . 2017. Identifying Test-suite-overfitted Patches Through Test Case Generation . In Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis. 226--236 . Qi Xin and Steven P. Reiss. 2017. Identifying Test-suite-overfitted Patches Through Test Case Generation. In Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis. 226--236."},{"volume-title":"Proceedings of the 2017 32nd IEEE\/ACM International Conference on Automated Software Engineering (ASE). 660--670","author":"Xin Q.","key":"e_1_3_2_1_32_1","unstructured":"Q. Xin and S. P. Reiss . 2017. Leveraging syntax-related code for automated program repair . In Proceedings of the 2017 32nd IEEE\/ACM International Conference on Automated Software Engineering (ASE). 660--670 . Q. Xin and S. P. Reiss. 2017. Leveraging syntax-related code for automated program repair. In Proceedings of the 2017 32nd IEEE\/ACM International Conference on Automated Software Engineering (ASE). 660--670."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180182"},{"volume-title":"Proceedings of the 2017 IEEE\/ACM 39th International Conference on Software Engineering (ICSE). 416--426","author":"Xiong Y.","key":"e_1_3_2_1_34_1","unstructured":"Y. Xiong , J. Wang , R. Yan , J. Zhang , S. Han , G. Huang , and L. Zhang . 2017. Precise Condition Synthesis for Program Repair . In Proceedings of the 2017 IEEE\/ACM 39th International Conference on Software Engineering (ICSE). 416--426 . Y. Xiong, J. Wang, R. Yan, J. Zhang, S. Han, G. Huang, and L. Zhang. 2017. Precise Condition Synthesis for Program Repair. In Proceedings of the 2017 IEEE\/ACM 39th International Conference on Software Engineering (ICSE). 416--426."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2016.2560811"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106274"}],"event":{"name":"Internetware '19: The 11th Asia-Pacific Symposium on Internetware","sponsor":["ACM Association for Computing Machinery","SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Fukuoka Japan","acronym":"Internetware '19"},"container-title":["Proceedings of the 11th Asia-Pacific Symposium on Internetware"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3361242.3361245","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3361242.3361245","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:12:51Z","timestamp":1750201971000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3361242.3361245"}},"subtitle":["An Empirical Study"],"short-title":[],"issued":{"date-parts":[[2019,10,28]]},"references-count":36,"alternative-id":["10.1145\/3361242.3361245","10.1145\/3361242"],"URL":"https:\/\/doi.org\/10.1145\/3361242.3361245","relation":{},"subject":[],"published":{"date-parts":[[2019,10,28]]},"assertion":[{"value":"2019-10-28","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}