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
Inria Lille - Nord Europe, CRIStAL - Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189
Abstract : 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.
Type de document :
Communication dans un congrès
11th International Workshop in Automation of Software Test (AST 2016), May 2016, Austin, United States. 2016, <10.1145/2896921.2896931>
Liste complète des métadonnées


https://hal.archives-ouvertes.fr/hal-01279233
Contributeur : Thomas Durieux <>
Soumis le : vendredi 26 février 2016 - 14:03:56
Dernière modification le : mercredi 8 juin 2016 - 14:51:06
Document(s) archivé(s) le : dimanche 13 novembre 2016 - 03:40:35

Fichiers

main.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

Citation

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

Partager

Métriques

Consultations de
la notice

265

Téléchargements du document

382