Improving the Accuracy of Spectrum-based Fault Localization for Automated Program Repair
The sufficiency of test cases is essential for spectrum-based fault localization (in short, SBFL). If a given set of test cases is not sufficient, SBFL does not work. In such a case, we can improve the reliability of SBFL by adding new test cases. However, adding many test cases without considering their properties is not appropriate in the context of automated program repair (in short, APR). For example, in the case of GenProg, which is the most famous APR tool, all the test cases related to the bug module are executed for each of the mutated programs. Execution results of test cases are used for checking whether they pass all the test cases and inferring faulty statements for a given bug. Thus, in the context of APR, it is important to add necessary minimum test cases to improve the accuracy of SBFL. In this paper, we propose three strategies for selecting some test cases from a large number of automatically-generated test cases. We conducted a small experiment on bug dataset Defect4J and confirmed that the accuracy of SBFL was improved for 56.3% of target bugs while the accuracy was decreased for 17.3% in the case of the best strategy. We also confirmed that the increase of the execution time was suppressed to 1.5 seconds at the median.
Tue 14 Jul Times are displayed in time zone: (UTC) Coordinated Universal Time change
00:00 - 01:00 | Session 3: FaultsResearch / ERA at ICPC Chair(s): Mohamed Wiem MkaouerRochester Institute of Technology | ||
00:00 12mPaper | Exploiting Code Knowledge Graph for Bug Localization via Bi-directional Attention Research Jinglei ZhangPeking University, Rui XiePeking University, Wei YePeking University, Yuhan ZhangPeking University, Shikun ZhangPeking University Media Attached | ||
00:12 12mPaper | On Combining IR Methods to Improve Bug Localization Research Saket KhatiwadaLouisiana State University, Miroslav TushevLouisiana State University, Nash MahmoudLouisiana State University Media Attached | ||
00:24 12mPaper | An Empirical Study on Critical Blocking Bugs Research Hao RenDepartment of Computer Science and Technology, Nanjing University, Yanhui LiDepartment of Computer Science and Technology, Nanjing University, Lin ChenNanjing University Media Attached | ||
00:36 12mPaper | Improving the Accuracy of Spectrum-based Fault Localization for Automated Program Repair ERA Tetsushi Kuma Osaka University, Yoshiki HigoOsaka University, Shinsuke MatsumotoOsaka University, Shinji KusumotoOsaka University Media Attached | ||
00:48 12mPaper | Automatic Android Deprecated-API Usage Update by Learning from Single Updated Example ERA Stefanus Agus HaryonoSingapore Management University, Ferdian ThungSingapore Management University, Hong Jin KangSchool of Information Systems, Singapore Management University, Lucas SerranoSorbonne University/Inria/LIP6, Gilles MullerInria, Julia Lawall INRIA, David LoSingapore Management University, Lingxiao JiangSingapore Management University Media Attached |