Automated fault localization using potential invariants

Download: PDF.

“Automated fault localization using potential invariants” by Brock Pytlik, Manos Renieris, Shriram Krishnamurthi, and Steven P. Reiss. In AADEBUG 2003: Fifth International Workshop on Automated and Algorithmic Debugging, (Ghent, Belgium), Sep. 2003, pp. 273-276.

Abstract

We present a general method for fault localization based on abstracting over program traces, and a tool that implements the method using Ernst's notion of potential invariants. Our experiments so far have been unsatisfactory, suggesting that further research is needed before invariants can be used to locate faults.

Download: PDF.

BibTeX entry:

@inproceedings{PytlikRKR2003,
   author = {Brock Pytlik and Manos Renieris and Shriram Krishnamurthi and
	Steven P. Reiss},
   title = {Automated fault localization using potential invariants},
   booktitle = {AADEBUG 2003: Fifth International Workshop on Automated
	and Algorithmic Debugging},
   pages = {273--276},
   address = {Ghent, Belgium},
   month = sep,
   year = {2003}
}