Write a Blog >>
ICPC 2020
Mon 13 - Wed 15 July 2020
co-located with ICSE 2020
Tue 14 Jul 2020 00:36 - 00:48 at ICPC - Session 3: Faults Chair(s): Mohamed Wiem Mkaouer

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

Displayed time zone: (UTC) Coordinated Universal Time change

00:00 - 01:00
Session 3: FaultsERA / Research at ICPC
Chair(s): Mohamed Wiem Mkaouer Rochester Institute of Technology
00:00
12m
Paper
Exploiting Code Knowledge Graph for Bug Localization via Bi-directional Attention
Research
Jinglei Zhang Peking University, Rui Xie Peking University, Wei Ye Peking University, Yuhan Zhang Peking University, Shikun Zhang Peking University
Media Attached
00:12
12m
Paper
On Combining IR Methods to Improve Bug Localization
Research
Saket Khatiwada Louisiana State University, Miroslav Tushev Louisiana State University, Nash Mahmoud Louisiana State University
Media Attached
00:24
12m
Paper
An Empirical Study on Critical Blocking Bugs
Research
Hao Ren Department of Computer Science and Technology, Nanjing University, Yanhui Li Department of Computer Science and Technology, Nanjing University, Lin Chen Nanjing University
Media Attached
00:36
12m
Paper
Improving the Accuracy of Spectrum-based Fault Localization for Automated Program Repair
ERA
Tetsushi Kuma Osaka University, Yoshiki Higo Osaka University, Shinsuke Matsumoto Osaka University, Shinji Kusumoto Osaka University
Media Attached
00:48
12m
Paper
Automatic Android Deprecated-API Usage Update by Learning from Single Updated Example
ERA
Stefanus Agus Haryono Singapore Management University, Ferdian Thung Singapore Management University, Hong Jin Kang School of Information Systems, Singapore Management University, Lucas Serrano Sorbonne University/Inria/LIP6, Gilles Muller Inria, Julia Lawall Inria, David Lo Singapore Management University, Lingxiao Jiang Singapore Management University
Media Attached