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.
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} }