Code-based automated program fixing

Yu Pei, Yi Wei, Carlo A. Furia, Martin Nordio, Bertrand Meyer

Research output: Chapter in book / Conference proceedingConference article published in proceeding or bookAcademic researchpeer-review

33 Citations (Scopus)

Abstract

Initial research in automated program fixing has generally limited itself to specific areas, such as data structure classes with carefully designed interfaces, and relied on simple approaches. To provide high-quality fix suggestions in a broad area of applicability, the present work relies on the presence of contracts in the code, and on the availability of static and dynamic analyses to gather evidence on the values taken by expressions derived from the code. The ideas have been built into the AutoFix-E2 automatic fix generator. Applications of AutoFix-E2 to general-purpose software, such as a library to manipulate documents, show that the approach provides an improvement over previous techniques, in particular purely model-based approaches.
Original languageEnglish
Title of host publication2011 26th IEEE/ACM International Conference on Automated Software Engineering, ASE 2011, Proceedings
Pages392-395
Number of pages4
DOIs
Publication statusPublished - 1 Dec 2011
Externally publishedYes
Event2011 26th IEEE/ACM International Conference on Automated Software Engineering, ASE 2011 - Lawrence, KS, United States
Duration: 6 Nov 201110 Nov 2011

Conference

Conference2011 26th IEEE/ACM International Conference on Automated Software Engineering, ASE 2011
CountryUnited States
CityLawrence, KS
Period6/11/1110/11/11

Keywords

  • automated debugging and fixing
  • program synthesis

ASJC Scopus subject areas

  • Software

Cite this