Automated Fault Localization Using Potential Invariants

Simple item page
dc.creatorPytlik, Brock
dc.creatorRenieris, Manos
dc.creatorKrishnamurthi, Shriram
dc.creatorReiss, Steven P.
dc.date2003-10-18
dc.date.accessioned2026-07-25T16:44:37Z
dc.descriptionWe 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.
dc.descriptionIn M. Ronsse, K. De Bosschere (eds), proceedings of the Fifth International Workshop on Automated Debugging (AADEBUG 2003), September 2003, Ghent. cs.SE/0309027
dc.identifierhttps://arxiv.org/abs/cs/0310040
dc.identifierhttp://arxiv.org/abs/cs/0310040
dc.identifier.urihttps://dspace.dare.co.zw/handle/123456789/43042
dc.subjectSoftware Engineering
dc.subjectD.2.5
dc.titleAutomated Fault Localization Using Potential Invariants
dc.typetext

Files

Collections

arXiv