MintHint: automated synthesis of repair hints

Shalini Kaleeswaran, Varun Tulsian, Aditya Kanade, Alessandro Orso

Abstract

Being able to automatically repair programs is at the same time a very compelling vision and an extremely challenging task. In this paper, we present MintHint, a novel technique for program repair that is a departure from most of today’s approaches. Instead of trying to fully automate program repair, which is often an unachievable goal, MintHint performs statistical correlation analysis to identify expressions that are likely to occur in the repaired code and generates, using pattern-matching based synthesis, repair hints from these expressions. Intuitively, these hints suggest how to rectify a faulty statement and help developers find a complete, actual repair.

BibTeX

@inproceedings{Kaleeswaran-al:ICSE14,
  author    = {Shalini Kaleeswaran and
               Varun Tulsian and
               Aditya Kanade and
               Alessandro Orso},
  title     = {{MintHint:} automated synthesis of repair hints},
  booktitle = {ICSE},
  pages     = {266--276},
  publisher = {{ACM}},
  year      = {2014},
}

MintHint: automated synthesis of repair hints

Abstract

Related papers