This report documents the program and the outcomes of Dagstuhl Seminar 17022 "Automated Program Repair". The seminar participants presented and discussed their research through formal and informal presentations. In particular, the seminar covered work related to search-based program repair, semantic program repair, and repair of non-functional properties. As a result of the seminar, several participants plan to launch various follow-up activities, such as a program repair competition, which would help to further establish and guide this young field of research.
@Article{kim_et_al:DagRep.7.1.19, author = {Kim, Sunghun and Le Goues, Claire and Pradel, Michael and Roychoudhury, Abhik}, title = {{Automated Program Repair (Dagstuhl Seminar 17022)}}, pages = {19--31}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2017}, volume = {7}, number = {1}, editor = {Kim, Sunghun and Le Goues, Claire and Pradel, Michael and Roychoudhury, Abhik}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.1.19}, URN = {urn:nbn:de:0030-drops-71767}, doi = {10.4230/DagRep.7.1.19}, annote = {Keywords: Program repair, program analysis, software engineering} }
Feedback for Dagstuhl Publishing