Showing 1–1 of 1 results for author: Renieris, M

Automated Fault Localization Using Potential Invariants

Authors: Brock Pytlik, Manos Renieris, Shriram Krishnamurthi, Steven P. Reiss

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. 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. △ Less

Submitted 18 October, 2003; originally announced October 2003.

Comments: In M. Ronsse, K. De Bosschere (eds), proceedings of the Fifth International Workshop on Automated Debugging (AADEBUG 2003), September 2003, Ghent. cs.SE/0309027

ACM Class: D.2.5