Automated Fault Localization Using Potential Invariants
Pytlik, Brock · Renieris, Manos · Krishnamurthi, Shriram · Reiss, Steven P.
Original · EN
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.
English translation
This paper has no Arabic translation yet. Be the first: it takes a few seconds, and the result is stored for every future reader.