Automated Fault Localization Using Potential Invariants

Thumbnail Image

Date

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

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.
In M. Ronsse, K. De Bosschere (eds), proceedings of the Fifth International Workshop on Automated Debugging (AADEBUG 2003), September 2003, Ghent. cs.SE/0309027

Keywords

Software Engineering, D.2.5

Citation

URI

https://dspace.dare.co.zw/handle/123456789/43042

Collections

arXiv

Endorsement

Review

Supplemented By

Referenced By