Automated Fault Localization Using Potential Invariants

Brock Pytlik Manos Renieris Shriram Krishnamurthi Steven P. Reiss

Published in: CoRR (2003)

Keyphrases

fault localization
model based diagnosis
program understanding
fault detection
software testing
program slicing
general purpose
data abstraction
information systems
case study
constraint satisfaction
software maintenance