Restore: Retrospective Fault Localization Enhancing Automated Program Repair
Fri 27 Aug 2021 00:20 - 00:30 - Testing—Program Repair 2 Chair(s): Tien N. Nguyen
Fault localization is a crucial step of automated program repair, because accurately identifying program locations that are most closely implicated with a fault greatly affects the effectiveness of the patching process. An ideal fault localization technique would provide precise information while requiring moderate computational resources—to best support an efficient search for correct fixes. In contrast, most automated program repair tools use standard fault localization techniques—which are not tightly integrated with the overall program repair process, and hence deliver only subpar efficiency. In this paper, we present retrospective fault localization: a novel fault localization technique geared to the requirements of automated program repair. A key idea of retrospective fault localization is to reuse the outcome of failed patch validation to support mutation-based dynamic analysis—providing accurate fault localization information without incurring onerous computational costs. We implemented retrospective fault localization in a tool called RESTORE—based on the JAID Java program repair system. Experiments involving faults from the DEFECTS4J standard benchmark indicate that retrospective fault localization can boost automated program repair: RESTORE efficiently explores a large fix space, delivering state-of-the-art effectiveness (41 DEFECTS4J bugs correctly fixed, 8 of which no other automated repair tool for Java can fix) while simultaneously boosting performance (speedup over 3 compared to JAID). Retrospective fault localization is applicable to any automated program repair techniques that rely on fault localization and dynamic validation of patches.
Thu 26 AugDisplayed time zone: Athens change
12:00 - 13:00 | Testing—Program Repair 2Research Papers / Journal First +12h Chair(s): Saikat Chakraborty Columbia University | ||
12:00 10mPaper | VarFix: Balancing Edit Expressiveness and Search Effectiveness in Automated Program Repair Research Papers Chu-Pan Wong Carnegie Mellon University, Priscila Santiesteban Coe College, Christian Kästner Carnegie Mellon University, Claire Le Goues Carnegie Mellon University DOI | ||
12:10 10mPaper | Automated Patch Assessment for Program Repair at Scale Journal First He Ye KTH Royal Institute of Technology, Matias Martinez Université Polytechnique Hauts-de-France, Martin Monperrus KTH Royal Institute of Technology | ||
12:20 10mPaper | Restore: Retrospective Fault Localization Enhancing Automated Program Repair Journal First Tongtong Xu Department of Computing, The Hong Kong Polytechnic University, China; The State Key Laboratory for Novel Software Technology, Nanjing University, China, Liushan Chen The Hong Kong Polytechnic University, Yu Pei Hong Kong Polytechnic University, Tian Zhang Nanjing University, Minxue Pan Nanjing University, Carlo A. Furia Università della Svizzera italiana (USI) | ||
12:30 30mLive Q&A | Q&A (Testing—Program Repair 2) Research Papers |
Fri 27 AugDisplayed time zone: Athens change
00:00 - 01:00 | Testing—Program Repair 2Journal First / Research Papers Chair(s): Tien N. Nguyen University of Texas at Dallas | ||
00:00 10mPaper | VarFix: Balancing Edit Expressiveness and Search Effectiveness in Automated Program Repair Research Papers Chu-Pan Wong Carnegie Mellon University, Priscila Santiesteban Coe College, Christian Kästner Carnegie Mellon University, Claire Le Goues Carnegie Mellon University DOI | ||
00:10 10mPaper | Automated Patch Assessment for Program Repair at Scale Journal First He Ye KTH Royal Institute of Technology, Matias Martinez Université Polytechnique Hauts-de-France, Martin Monperrus KTH Royal Institute of Technology | ||
00:20 10mPaper | Restore: Retrospective Fault Localization Enhancing Automated Program Repair Journal First Tongtong Xu Department of Computing, The Hong Kong Polytechnic University, China; The State Key Laboratory for Novel Software Technology, Nanjing University, China, Liushan Chen The Hong Kong Polytechnic University, Yu Pei Hong Kong Polytechnic University, Tian Zhang Nanjing University, Minxue Pan Nanjing University, Carlo A. Furia Università della Svizzera italiana (USI) | ||
00:30 30mLive Q&A | Q&A (Testing—Program Repair 2) Research Papers |