Abstract
AbstractAutomatic Program Repair (APR) techniques can promisingly help reduce the cost of debugging. Many relevant APR techniques follow the generate-and-validate approach, that is, the faulty program is iteratively modified with different change operators and then validated with a test suite until a plausible patch is generated. In particular, Kali is a generate-and-validate technique developed to investigate the possibility of generating plausible patches by only removing code. Former studies show that indeed Kali successfully addressed several faults. This paper addresses the single and particular case of code-removal patches in automated program repair. We investigate the reasons and the scenarios that make their creation possible, and the relationship with patches implemented by developers. Our study reveals that code-removal patches are often insufficient to fix bugs, and proposes a comprehensive taxonomy of code-removal patches that provides evidence of the problems that may affect test suites, opening new opportunities for researchers in the field of automatic program repair.
Publisher
Springer Science and Business Media LLC
Reference59 articles.
1. Alarcon G, Walter C, Gibson A, Gamble R, Capiola A, Jessup S, Ryan T (2020) Would you fix this code for me? effects of repair source and commenting on trust in code repair. In: Systems vol 8, p 8. https://doi.org/10.3390/systems8010008
2. Britton T, Jeng L, Carver G, Cheak P, Katzenellenbogen T (2013) Reversible debugging software: quantify the time and cost saved using reversible debuggers. Tech. rep., http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.444.9094&rep=rep1&type=pdf
3. Brown MD, Pande S (2019) Carve: Practical security-focused software debloating using simple feature set mappings. In: Proceedings of the 3rd ACM workshop on forming an ecosystem around software transformation, FEAST’19. London, United Kingdom: Association for Computing Machinery, pp 1–7. https://doi.org/10.1145/3338502.3359764
4. Cambronero JP, Shen J, Cito J, Glassman E, Rinard M (2019) Characterizing developer use of automatically generated patches. In: Smith J, Bogart C, Good J, Fleming SD (eds) 2019 IEEE symposium on visual languages and human-centric computing, VL/HCC 2019, Memphis, Tennessee, USA, October 14-18 2019, IEEE Computer Society, pp 181–185, https://doi.org/10.1109/VLHCC.2019.8818884,
5. Campos J, Riboira A, Perez A, Abreu R (2012) Gzoltar: an eclipse plug-in for testing and debugging. In: 2012 Proceedings of the 27th IEEE/ACM international conference on automated software engineering, pp 378–381. https://doi.org/10.1145/2351676.2351752
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献