kirancodes.me
To Proof Maintenance & Beyond!

Shibboleth: Hybrid Patch Correctness Assessment in Automated Program Repair

Ali Ghanbari, Andrian Marcus

Abstract

Test-based generate-and-validate automated program repair (APR) systems generate many patches that pass the test suite without fixing the bug. The generated patches must be manually inspected by the developers, a task that tends to be time-consuming, thereby diminishing the role of APR in reducing debugging costs.

BibTeX
@inproceedings{Ghanbari-Marcus:ASE22,
  author    = {Ali Ghanbari and
               Andrian Marcus},
  title     = {Shibboleth: Hybrid Patch Correctness Assessment in Automated Program Repair},
  booktitle = {ASE},
  pages     = {166:1--166:4},
  publisher = {{ACM}},
  year      = {2022},
}

Related papers