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
  • 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. 
    99 Citations

    Topics from this paper

    Using likely invariants for automated software fault localization
    • 74
    • PDF
    Automated path generation for software fault localization
    • 55
    • PDF
    Automatic software fault localization using generic program invariants
    • 45
    • Highly Influenced
    • PDF
    Error explanation and fault localization with distance metrics
    • 14
    • PDF
    Extended program invariants: applications in testing and fault localization
    • 10
    • PDF
    Using software invariants for dynamic detection of transient errors
    • 2
    • PDF
    Software Fault Localization
    • 61
    • PDF
    Explaining Software Failures by Cascade Fault Localization
    • 7
    • PDF

    References

    SHOWING 1-6 OF 6 REFERENCES
    Tracking down software bugs using automatic anomaly detection
    • 472
    • PDF
    Dynamically discovering likely program invariants to support program evolution
    • 1,315
    • PDF
    What Went Wrong: Explaining Counterexamples
    • 223
    • PDF
    Experiments on the effectiveness of dataflow- and control-flow-based test adequacy criteria
    • 905
    • PDF
    An empirical investigation of program spectra
    • 161
    • PDF
    What went wrong : Explaining counterexamples Experiments on the effectiveness of dataflow - and controlflow - based test adequacy criteria
    • IEEE Transactions on Software Engineering