Automated Fault Localization Using Potential Invariants
Brock Pytlik, Manos Renieris, Shriram Krishnamurthi, Steven P. Reiss
International Workshop on Automated and Algorithmic Debugging, 2003
(Short Paper.)
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.
Paper
These papers may differ in formatting from the versions that appear in print. They are made available only to support the rapid dissemination of results; the printed versions, not these, should be considered definitive. The copyrights belong to their respective owners.