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), September 8-10, 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 = {September~8--10,},
   year = {2003}
}

Back to Publications whose methodology uses invariant detection.