DynaMoth: Dynamic Code Synthesis for Automatic Program Repair

Thomas Durieux (1, 2) , Martin Monperrus (2, 1)

1 SPIRALS - Self-adaptation for distributed services and large software systems
2 Université de Lille, Sciences et Technologies

Automatic software repair is the process of automatically fixing bugs. The Nopol repair system repairs Java code using code synthesis. We have designed a new code synthesis engine for Nopol based on dynamic exploration, it is called DynaMoth. The main design goal is to be able to generate patches with method calls. We evaluate DynaMoth over 224 of the Defects4J dataset. The evaluation shows that Nopol with DynaMoth is capable of synthesizing patches and enables Nopol to repair new bugs of the dataset.

Domaines: Informatique [cs]; Génie logiciel [cs.SE]

Thomas Durieux, Martin Monperrus. DynaMoth: Dynamic Code Synthesis for Automatic Program Repair. 11th International Workshop in Automation of Software Test, May 2016, Austin, United States. ⟨10.1145/2896921.2896931⟩. ⟨hal-01279233⟩