kirancodes.me
To Proof Maintenance & Beyond!

Failure-driven program repair

Davide Ginelli

Abstract

Program repair techniques can dramatically reduce the cost of program debugging by automatically generating program fixes. Although program repair has been already successful with several classes of faults, it also turned out to be quite limited in the complexity of the fixes that can be generated.

BibTeX
@inproceedings{Ginelli:FSE19,
  author    = {Davide Ginelli},
  title     = {Failure-driven program repair},
  booktitle = {{ESEC/SIGSOFT} {FSE}},
  pages     = {1156--1159},
  publisher = {{ACM}},
  year      = {2019},
}

Related papers