Computer Science – Software Engineering
Scientific paper
2003-10-18
Computer Science
Software Engineering
In M. Ronsse, K. De Bosschere (eds), proceedings of the Fifth International Workshop on Automated Debugging (AADEBUG 2003), Se
Scientific paper
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.
Krishnamurthi Shriram
Pytlik Brock
Reiss Steven P.
Renieris Manos
No associations
LandOfFree
Automated Fault Localization Using Potential Invariants does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Automated Fault Localization Using Potential Invariants, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Automated Fault Localization Using Potential Invariants will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-186642