Using likely invariants for automated software fault localization

@inproceedings{Sahoo2013UsingLI,
  title={Using likely invariants for automated software fault localization},
  author={S. Sahoo and J. Criswell and Chase Geigle and V. Adve},
  booktitle={ASPLOS '13},
  year={2013}
}
We propose an automatic diagnosis technique for isolating the root cause(s) of software failures. We use likely program invariants, automatically generated using correct inputs that are close to the fault-triggering input, to select a set of candidate program locations which are possible root causes. We then trim the set of candidate root causes using software-implemented dynamic backwards slicing, plus two new filtering heuristics: dependence filtering, and filtering via multiple failing… Expand
Learning Likely Invariants to Explain Why a Program Fails
A Hybrid Algorithm for Error Trace Explanation
A Survey on Software Fault Localization
A learning-to-rank based fault localization approach using likely invariants
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 13 REFERENCES
Tracking down software bugs using automatic anomaly detection
  • S. Hangal, M. Lam
  • Proceedings of the 24th International Conference on Software Engineering. ICSE 2002
  • 2002
Anomaly-based bug prediction, isolation, and validation: an automated approach for software debugging
Dynamically discovering likely program invariants to support program evolution
Simplifying and Isolating Failure-Inducing Input
Visualization of test information to assist fault localization
Isolating cause-effect chains from computer programs
An Evaluation of Similarity Coefficients for Software Fault Localization
Triage: diagnosing production run failures at the user's site
Memory indexing: canonicalizing addresses across executions
Empirical evaluation of the tarantula automatic fault-localization technique
...
1
2
...