Corpus ID: 2683258

Automated Fault Localization Using Potential Invariants

@article{Pytlik2003AutomatedFL,
  title={Automated Fault Localization Using Potential Invariants},
  author={Brock Pytlik and M. Renieris and S. Krishnamurthi and S. Reiss},
  journal={ArXiv},
  year={2003},
  volume={cs.SE/0310040}
}

Brock Pytlik, M. Renieris, +1 author S. Reiss

Published 2003

Computer Science

ArXiv

View PDF on arXiv

Save to Library

Create Alert

Cite

Launch Research Feed

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.