Do automated program repair techniques repair hard and important bugs?

Manish Motwani, Sandhya Sankaranarayanan, René Just, Yuriy Brun

Abstract

Automated program repair techniques use a buggy program and a partial specification (typically a test suite) to produce a program variant that satisfies the specification. While prior work has studied patch quality [10, 11] and maintainability [2], it has not examined whether automated repair techniques are capable of repairing defects that developers consider important or that are hard for developers to repair manually. This paper tackles those questions.

BibTeX

@inproceedings{Motwani-al:ICSE18,
  author    = {Manish Motwani and
               Sandhya Sankaranarayanan and
               Ren{\'{e}} Just and
               Yuriy Brun},
  title     = {Do automated program repair techniques repair hard and important bugs?},
  booktitle = {ICSE},
  pages     = {25},
  publisher = {{ACM}},
  year      = {2018},
}

Do automated program repair techniques repair hard and important bugs?

Abstract

Related papers