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 metadatas

Cited literature [37 references]  Display  Hide  Download

https://hal.inria.fr/hal-00903808
Contributor : Martin Monperrus <>
Submitted on : Wednesday, November 13, 2013 - 10:42:03 AM
Last modification on : Friday, December 11, 2020 - 6:44:06 PM
Long-term archiving on: : Friday, February 14, 2014 - 3:35:52 PM

Files

mining-software-repair-models....
Files produced by the author(s)

Identifiers

Citation

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⟩

Share

Metrics

Record views

776

Files downloads

1407