Anti-patterns in Search-based Program Repair

Created by W.Langdon from gp-bibliography.bib Revision:1.4420

@InProceedings{Tan:2016:ASP:2950290.2950295,
  author =       "Shin Hwei Tan and Hiroaki Yoshida and 
                 Mukul R. Prasad and Abhik Roychoudhury",
  title =        "Anti-patterns in Search-based Program Repair",
  booktitle =    "Proceedings of the 2016 24th ACM SIGSOFT International
                 Symposium on Foundations of Software Engineering, FSE
                 2016",
  year =         "2016",
  pages =        "727--738",
  address =      "Seattle, WA, USA",
  publisher =    "ACM",
  keywords =     "genetic algorithms, genetic programming, Debugging,
                 and repair, fault localization",
  isbn13 =       "978-1-4503-4218-6",
  DOI =          "doi:10.1145/2950290.2950295",
  acmid =        "2950295",
  size =         "12",
  abstract =     "Search-based program repair automatically searches for
                 a program fix within a given repair space. This may be
                 accomplished by retrofitting a generic search algorithm
                 for program repair as evidenced by the GenProg tool, or
                 by building a customized search algorithm for program
                 repair as in SPR. Unfortunately, automated program
                 repair approaches may produce patches that may be
                 rejected by programmers, because of which past works
                 have suggested using human-written patches to produce
                 templates to guide program repair. In this work, we
                 take the position that we will not provide templates to
                 guide the repair search because that may unduly
                 restrict the repair space and attempt to overfit the
                 repairs into one of the provided templates. Instead, we
                 suggest the use of a set of anti-patterns --- a set of
                 generic forbidden transformations that can be enforced
                 on top of any search-based repair tool. We show that by
                 enforcing our anti-patterns, we obtain repairs that
                 localize the correct lines or functions, involve less
                 deletion of program functionality, and are mostly
                 obtained more efficiently. Since our set of
                 anti-patterns are generic, we have integrated them into
                 existing search based repair tools, including GenProg
                 and SPR, thereby allowing us to obtain higher quality
                 program patches with minimal effort.",
}

Genetic Programming entries for Shin Hwei Tan Hiroaki Yoshida Mukul R Prasad Abhik Roychoudhury

Citations