DynaMoth: Dynamic Code Synthesis for Automatic Program Repair

by Thomas Durieux and Martin Monperrus
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.
 View PDF
Open-access (on archives-ouvertes.fr)
Publisher version (via DOI)
Citations: [citations]
Other publications of Martin Monperrus

Cite it:

Thomas Durieux and Martin Monperrus, "DynaMoth: Dynamic Code Synthesis for Automatic Program Repair", In 11th International Workshop in Automation of Software Test, 2016.
https://doi.org/10.1145/2896921.2896931
DynaMoth: Dynamic Code Synthesis for Automatic Program Repair
https://hal.science/hal-01279233/file/main.pdf
[DynaMoth: Dynamic Code Synthesis for Automatic Program Repair](https://hal.science/hal-01279233/file/main.pdf) ([doi:10.1145/2896921.2896931](https://doi.org/10.1145/2896921.2896931))
\href{https://hal.science/hal-01279233/file/main.pdf}{DynaMoth: Dynamic Code Synthesis for Automatic Program Repair} % \cite{durieux:hal-01279233}

Bibtex Entry:

@inproceedings{durieux:hal-01279233,
 title = {DynaMoth: Dynamic Code Synthesis for Automatic Program Repair},
 author = {Durieux, Thomas and Monperrus, Martin},
 url = {https://hal.science/hal-01279233/file/main.pdf},
 booktitle = {{11th International Workshop in Automation of Software Test}},
 year = {2016},
 doi = {10.1145/2896921.2896931},
}
Powered by bibtexbrowser