License: Creative Commons Attribution 3.0 Unported license (CC BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/DagRep.7.1.19
URN: urn:nbn:de:0030-drops-71767
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2017/7176/
Go back to Dagstuhl Reports


Kim, Sunghun ; Le Goues, Claire ; Pradel, Michael ; Roychoudhury, Abhik
Weitere Beteiligte (Hrsg. etc.): Sunghun Kim and Claire Le Goues and Michael Pradel and Abhik Roychoudhury

Automated Program Repair (Dagstuhl Seminar 17022)

pdf-format:
dagrep_v007_i001_p019_s17022.pdf (0.8 MB)


Abstract

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.

BibTeX - Entry

@Article{kim_et_al:DR:2017:7176,
  author =	{Sunghun Kim and Claire Le Goues and Michael Pradel and Abhik Roychoudhury},
  title =	{{Automated Program Repair (Dagstuhl Seminar 17022)}},
  pages =	{19--31},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2017},
  volume =	{7},
  number =	{1},
  editor =	{Sunghun Kim and Claire Le Goues and Michael Pradel and Abhik Roychoudhury},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2017/7176},
  URN =		{urn:nbn:de:0030-drops-71767},
  doi =		{10.4230/DagRep.7.1.19},
  annote =	{Keywords: Program repair, program analysis, software engineering}
}

Keywords: Program repair, program analysis, software engineering
Collection: Dagstuhl Reports, Volume 7, Issue 1
Issue Date: 2017
Date of publication: 02.06.2017


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI