Skip to Main content Skip to Navigation
Conference papers

Do the Fix Ingredients Already Exist? An Empirical Inquiry into the Redundancy Assumptions of Program Repair Approaches

Abstract : Much initial research on automatic program repair has focused on experimental results to probe their potential to find patches and reduce development effort. Relatively less effort has been put into understanding the hows and whys of such approaches. For example, a critical assumption of the GenProg technique is that certain bugs can be fixed by copying and re-arranging existing code. In other words, GenProg assumes that the fix ingredients already exist elsewhere in the code. In this paper, we formalize these assumptions around the concept of ''temporal redundancy''. A temporally redundant commit is only composed of what has already existed in previous commits. Our experiments show that a large proportion of commits that add existing code are temporally redundant. This validates the fundamental redundancy assumption of GenProg.
Document type :
Conference papers
Complete list of metadata

Cited literature [12 references]  Display  Hide  Download

https://hal.inria.fr/hal-00965410
Contributor : Matias Martinez <>
Submitted on : Tuesday, March 25, 2014 - 11:40:16 AM
Last modification on : Thursday, February 21, 2019 - 10:52:55 AM
Long-term archiving on: : Wednesday, June 25, 2014 - 11:31:38 AM

Files

article.pdf
Files produced by the author(s)

Identifiers

Citation

Matias Martinez, Westley Weimer, Martin Monperrus. Do the Fix Ingredients Already Exist? An Empirical Inquiry into the Redundancy Assumptions of Program Repair Approaches. ICSE - 36th IEEE International Conference on Software Engineering - New Ideas and Emerging Results Track, Jun 2014, Hyderabad, India. ⟨10.1145/2591062.2591114⟩. ⟨hal-00965410⟩

Share

Metrics

Record views

789

Files downloads

989