Automated Fault Localization Using Potential Invariants
classification
💻 cs.SE
keywords
invariantsfaultlocalizationmethodpotentialabstractingautomatedbeen
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.