Error explanation with distance metrics

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2988, Issue , 2004, Pages 108-122

  Groce, Alex ^a  

^a Carnegie Mellon University ^*  (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ERRORS; MODEL CHECKING; SPECIFICATIONS;

ANSI C PROGRAMS; AUTOMATED APPROACH; DISTANCE METRICS; ERROR EXPLANATION; MODEL CHECKER; PROGRAM EXECUTION; SOURCE CODES;

C (PROGRAMMING LANGUAGE);

EID: 35048873252     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24730-2_8     Document Type: Article

References (25)

1. http://www.es.emu.edu/~modelcheck/cbmc/.
2. F. Aloul, A. Ramani, I. Markov, and K. Sakallah. PBS: A backtrack search pseudo Boolean solver. In Symposium on the theory and applications of satisfiability testing (SAT), pages 346-353, 2002.
3. B. Alpern, M. Wegman, and F. Zadeck. Detecting equality of variables in programs. In Principles of Programming Languages, pages 1-11, 1988.
4. P. Anderson and T. Teitelbaum. Software inspection using codesurfer. In Workshop on Inspection in Software Engineering, 2001.
5. T. Ball, M. Naik, and S. Rajamani. From symptom to cause: Localizing errors in counterexample traces. In Principles of Programming Languages, pages 97-105, 2003.
6. A. Biere, A. Cimatti, E. Clarke, and Y. Zhu. Symbolic model checking without BDDs. In Tools and Algorithms for the Construction and Analysis of Systems, pages 193-207, 1999.
7. M. Chechik and A. Gurfinkel. Proof-like counter-examples. In Tools and Algorithms for the Construction and Analysis of Systems, pages 160-175, 2003.
8. E. Clarke, O. Grumberg, K. McMillan, and X. Zhao. Efficient generation of counterexamples and witnesses in symbolic model checking. In Design Automation Conference, pages 427-432, 1995.
9. E. Clarke, O. Grumberg, and D. Peled. Model Checking. MIT Press, 2000.
10. J. Cobleigh, D. Giannakopoulou, and C. Pǎsǎreanu. Learning assumptions for compositional verification. In Tools and Algorithms for the Construction and Analysis of Systems, pages 331-346, 2003.
11. A Coen-Porisini, G. Denaro, C. Ghezzi, and M. Pezze. Using symbolic execution for verifying safety-critical systems. In European Software Engineering Conference/Foundations of Software Engineering, pages 142-151, 2001.
12. A. Groce and W. Visser. What went wrong: Explaining counterexamples. In SPIN Workshop on Model Checking of Software, pages 121-135, 2003.
13. S. Horwitz and T. Reps. The use of program dependence graphs in software engineering. In International Conference of Software Engineering, pages 392-411, 1992.
14. H. Jin, K. Ravi, and F. Somenzi. Fate and free will in error traces. In Tools and Algorithms for the Construction and Analysis of Systems, pages 445-458, 2002.
15. D. Kroening, E. Clarke, and F. Lerda. A tool for checking ANSI-C programs. In Tools and Algorithms for the Construction and Analysis of Systems, 2004. To appear.
16. D. Lewis. Causation. Journal of Philosophy, 70:556-567, 1973.
17. M. Moskewicz, C. Madigan, Y. Zhao, L. Zhang, and S. Malik. Chaff: Engineering an Efficient SAT Solver. In Proceedings of the 38th Design Automation Conference (DAC'01), pages 530-535, 2001.
18. M. Renieris and S. Reiss. Fault localization with nearest neighbor queries. In Automated Software Engineering, 2003.
19. G. Rothermel and M. J. Harrold. Empirical studies of a safe regression test selection technique. Software Engineering, 24(6):401-419, 1999.
20. D. Sankoff and J. Kruskal, editors. Time Warps, String Edits, and Macromolecules: the Theory and Practice of Sequence Comparison. Addison Wesley, 1983.
21. E. Sosa and M. Tooley, editors. Causation. Oxford University Press, 1993.
22. L. Tan and R. Cleaveland. Evidence-based model checking. In Computer-Aided Verification, pages 455-470, 2002.
23. F. Tip. A survey of program slicing techniques. Journal of programming languages, 3:121-189, 1995.
24. A. Zeller. Isolating cause-effect chains from computer programs. In Foundations of Software Engineering, pages 1-10, 2002.
25. A. Zeller and R. Hildebrandt. Simplifying and isolating failure-inducing input. IEEE Transactions on Software Engineering, 28(2):183-200, 2002.