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.
Type de document :
Communication dans un congrès
ICSE - 36th IEEE International Conference on Software Engineering, Jun 2014, Hyderabad, India. 2014, 〈10.1145/2591062.2591114〉
Liste complète des métadonnées

Littérature citée [12 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00965410
Contributeur : Matias Martinez <>
Soumis le : mardi 25 mars 2014 - 11:40:16
Dernière modification le : jeudi 11 janvier 2018 - 06:25:38
Document(s) archivé(s) le : mercredi 25 juin 2014 - 11:31:38

Fichiers

article.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

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, Jun 2014, Hyderabad, India. 2014, 〈10.1145/2591062.2591114〉. 〈hal-00965410〉

Partager

Métriques

Consultations de la notice

638

Téléchargements de fichiers

533