@Article{pezze_et_al:DagRep.1.2.16, author = {Pezz\`{e}, Mauro and Rinard, Martin C. and Weimer, Westley and Zeller, Andreas}, title = {{Self-Repairing Programs (Dagstuhl Seminar 11062)}}, pages = {16--29}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2011}, volume = {1}, number = {2}, editor = {Pezz\`{e}, Mauro and Rinard, Martin C. and Weimer, Westley and Zeller, Andreas}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.1.2.16}, URN = {urn:nbn:de:0030-drops-31525}, doi = {10.4230/DagRep.1.2.16}, annote = {Keywords: Automated program repair, contract, debugging, fault, patch, self-healing} }