Enhancing the Efficiency of Automated Program Repair via Greybox Analysis
In this paper, we pay attention to the efficiency of automated program repair (APR). Recently, an efficient patch scheduling algorithm, Casino, has been proposed to improve APR efficiency. Inspired by fuzzing, Casino adaptively chooses the next patch candidate to evaluate based on the results of previous evaluations. However, we observe that Casino utilizes only the test results, treating the patched program as a black box. Inspired by greybox fuzzing, we propose a novel patch-scheduling algorithm, Gresino, which leverages the internal state of the program to further enhance APR efficiency. Specifically, Gresino monitors the hit counts of branches observed during the execution of the program and uses them to guide the search for a valid patch. Our experimental evaluation on the Defects4J benchmark and eight APR tools demonstrates the efficacy of our approach.
Tue 29 OctDisplayed time zone: Pacific Time (US & Canada) change
16:30 - 17:30 | Program repair 1Research Papers / Tool Demonstrations / NIER Track at Magnoila Chair(s): Vikram Nitin Columbia University | ||
16:30 15mTalk | Enhancing the Efficiency of Automated Program Repair via Greybox Analysis Research Papers YoungJae Kim Ulsan National Institute of Science and Technology, Yechan Park UNIST, Seungheon Han UNIST, Jooyong Yi UNIST | ||
16:45 15mTalk | VulAdvisor: Natural Language Suggestion Generation for Software Vulnerability Repair Research Papers Jian Zhang Nanyang Technological University, Chong Wang Nanyang Technological University, Anran Li Nanyang Technological University, Wenhan Wang University of Alberta, Li Tianlin Nanyang Technological University, Yang Liu Nanyang Technological University | ||
17:00 10mTalk | Automated Repair of Multi-fault Programs: Obstacles, Approaches, and ProspectsRecorded Talk NIER Track Omar I. Al Bataineh Gran Sasso Science Institute (GSSI) | ||
17:10 10mTalk | FixKit: A Program Repair Collection for Python Tool Demonstrations Marius Smytzek CISPA Helmholtz Center for Information Security, Martin Eberlein Humboldt University of Berlin, Kai Werk Humboldt-Universität zu Berlin, Lars Grunske Humboldt-Universität zu Berlin, Andreas Zeller CISPA Helmholtz Center for Information Security Link to publication DOI Pre-print Media Attached |