Understanding counterexamples with explain

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

Volumn 3114, Issue , 2004, Pages 453-456

  Groce, Alex ^a   Kroening, Daniel ^a   Lerda, Flavio ^a  

^a Carnegie Mellon University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED ANALYSIS; ERRORS; MODEL CHECKING;

ANSI C PROGRAMS; AUTOMATED ASSISTANCE; BOUNDED MODEL CHECKERS; C LANGUAGE; DISTANCE METRICS; ERROR EXPLANATION; MODEL CHECKER; PROGRAM EXECUTION;

C (PROGRAMMING LANGUAGE);

EID: 35048853191     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-27813-9_35     Document Type: Article

References (9)

1. 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.
2. 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.
3. 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.
4. A Coen-Porbini, 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.
5. A. Groce. Error explanation with distance metrics. In Tools and Algorithms for the Construction and Analysis of Systems, pages 108-122, 2004.
6. A. Groce and W. Visser. What went wrong: Explaining counterexamples. In SPIN Workshop on Model Checking of Software, pages 121-135, 2003.
7. 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, pages 168-176, 2004.
8. D. Lewis. Causation. Journal of Philosophy, 70:556-567, 1973.
9. G. Rothermel and M. J. Harrold. Empirical studies of a safe regression test selection technique. Software Engineering, 24(6):401-419, 1999.