Tweet | |
T. Kuma, Y. Higo, S. Matsumoto, and S. Kusumoto, "Improving the Accuracy of Spectrum-Based Fault Localization for Automated Program Repair," In 2020 IEEE/ACM 28th International Conference on Program Comprehension (ICPC), pp. 376-380, July 2020. | |
ID | 657 |
分類 | 国際会議 |
タグ | accuracy automated fault improving localization program repair spectrum-based |
表題 (title) |
Improving the Accuracy of Spectrum-Based Fault Localization for Automated Program Repair |
表題 (英文) |
|
著者名 (author) |
Tetsushi Kuma,Yoshiki Higo,Shinsuke Matsumoto,Shinji Kusumoto |
英文著者名 (author) |
Tetsushi Kuma,Yoshiki Higo,Shinsuke Matsumoto,Shinji Kusumoto |
編者名 (editor) |
|
編者名 (英文) |
|
キー (key) |
Tetsushi Kuma,Yoshiki Higo,Shinsuke Matsumoto,Shinji Kusumoto |
書籍・会議録表題 (booktitle) |
2020 IEEE/ACM 28th International Conference on Program Comprehension (ICPC) |
書籍・会議録表題(英文) |
|
巻数 (volume) |
|
号数 (number) |
|
ページ範囲 (pages) |
376-380 |
組織名 (organization) |
|
出版元 (publisher) |
|
出版元 (英文) |
|
出版社住所 (address) |
|
刊行月 (month) |
7 |
出版年 (year) |
2020 |
採択率 (acceptance) |
|
URL |
file://sdl/public/proceedings/icse2020/pdfs/ICPC2020-4SMO13OG3bnPXLds07gwUR/795800a376/795800a376.pdf |
付加情報 (note) |
|
注釈 (annote) |
|
内容梗概 (abstract) |
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. |
論文電子ファイル | camera-ready.pdf (application/pdf) [一般閲覧可] |
BiBTeXエントリ |
@inproceedings{id657, title = {Improving the Accuracy of Spectrum-based Fault Localization for Automated Program Repair}, author = {Tetsushi Kuma and Yoshiki Higo and Shinsuke Matsumoto and Shinji Kusumoto}, booktitle = {2020 IEEE/ACM 28th International Conference on Program Comprehension (ICPC)}, pages = {376-380}, month = {7}, year = {2020}, } |