Automated Program Repair in an Integrated Development Environment

Author

Yu Pei ; Furia, Carlo A. ; Nordio, Martin ; Meyer, Bertrand

Author_Institution

Dept. of Comput. Sci., ETH Zurich, Zurich, Switzerland

Volume

2

fYear

2015

Firstpage

681

Lastpage

684

Abstract

We present the integration of the AutoFix automated program repair technique into the EiffelStudio Development Environment. AutoFix presents itself like a recommendation system capable of automatically finding bugs and suggesting fixes in the form of source-code patches. Its performance suggests usage scenarios where it runs in the background or during work interruptions, displaying fix suggestions as they become available. This is a contribution towards the vision of semantic Integrated Development Environments, which offer powerful automated functionality within interfaces familiar to developers. A screencast highlighting the main features of AutoFix can be found at: http://youtu.be/Ff2ULiyL-80.

Keywords

program diagnostics; software maintenance; source code (software); AutoFix automated program repair technique; EiffelStudio development environment; recommendation system; semantic integrated development environments; source-code patches; Algorithm design and analysis; Computer bugs; Contracts; Heuristic algorithms; Maintenance engineering; Semantics; Testing;

fLanguage

English

Publisher

ieee

Conference_Titel

Software Engineering (ICSE), 2015 IEEE/ACM 37th IEEE International Conference on

Conference_Location

Florence

Type

conf

DOI

10.1109/ICSE.2015.222

Filename

7203042