Automated fixing of programs with contracts - ISSTA 2010
by Yi Wei, Yu Pei, Carlo A. Furia, Lucas S. Silva, Stefan Buchholz, Bertrand Meyer, Andreas Zeller

ISSTA 2010: Proceedings of the 19th international symposium on Software testing and analysis, Pages 61-72, ACM, New York, NY, July 2010.

Digital Library via DOI: 10.1145/1831708.1831716

Abstract

In program debugging, finding a failing run is only the first step; what about correcting the fault? Can we automate the second task as well as the first? The AutoFix-E tool automatically generates and validates fixes for software faults. The key insights behind AutoFix-E are to rely on contracts present in the software to ensure that the proposed fixes are semantically sound, and on state diagrams using an abstract notion of state based on the boolean queries of a class. Out of 42 faults found by an automatic testing tool in two widely used Eiffel libraries, AutoFix-E proposes successful fixes for 16 faults. Submitting some of these faults to experts shows that several of the proposed fixes are identical or close to fixes proposed by humans.

BibTeX Entry

@inproceedings{wei-issta-2010,
    title = "Automated fixing of programs with contracts",
    author = "Yi Wei and Yu Pei and Carlo A. Furia and Lucas S. Silva and Stefan Buchholz and Bertrand Meyer and Andreas
Zeller",
    year = "2010",
    month = jul,
    address = "New York, NY",
    booktitle = "ISSTA 2010: Proceedings of the 19th international symposium on Software testing and analysis",
    location = "Trento, Italy",
    pages = "61--72",
    publisher = "ACM",
    doi = "10.1145/1831708.1831716",
}

Show all publications of the Software Engineering Chair.