Skip to Main content Skip to Navigation
Journal articles

Mining Software Repair Models for Reasoning on the Search Space of Automated Program Fixing

Matias Martinez 1 Martin Monperrus 1
1 SPIRALS - Self-adaptation for distributed services and large software systems
Inria Lille - Nord Europe, CRIStAL - Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189
Abstract : This paper is about understanding the nature of bug fixing by analyzing thousands of bug fix transactions of software repositories. It then places this learned knowledge in the context of automated program repair. We give extensive empirical results on the nature of human bug fixes at a large scale and a fine granularity with abstract syntax tree differencing. We set up mathematical reasoning on the search space of automated repair and the time to navigate through it. By applying our method on 14 repositories of Java software and 89,993 versioning transactions, we show that not all probabilistic repair models are equivalent.
Document type :
Journal articles
Complete list of metadata

Cited literature [37 references]  Display  Hide  Download
Contributor : Martin Monperrus Connect in order to contact the contributor
Submitted on : Wednesday, November 13, 2013 - 10:42:03 AM
Last modification on : Thursday, January 20, 2022 - 4:17:04 PM
Long-term archiving on: : Friday, February 14, 2014 - 3:35:52 PM


Files produced by the author(s)



Matias Martinez, Martin Monperrus. Mining Software Repair Models for Reasoning on the Search Space of Automated Program Fixing. Empirical Software Engineering, Springer Verlag, 2015, 20 (1), pp.176-205. ⟨10.1007/s10664-013-9282-8⟩. ⟨hal-00903808⟩



Les métriques sont temporairement indisponibles