DynaMoth: Dynamic Code Synthesis for Automatic Program Repair

Proceedings of the 11th International Workshop in Automation of Software Test (AST'16)

T. DurieuxM. Monperrus 

PDFDOISlideSource code


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.

author = {Durieux, Thomas and Monperrus, Martin},
booktitle = {Proceedings of the 11th International Workshop on Automation of Software Test (AST) colocated with ICSE},
organization = {ACM},
pages = {85--91},
title = {Dynamoth: dynamic code synthesis for automatic program repair},
year = {2016}
Last Updated: 28/07/2021