Error invariants

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

Volumn 7436 LNCS, Issue , 2012, Pages 187-201

  Ermis, Evren ^a   Schäf, Martin ^b   Wies, Thomas ^c  

^a UNIVERSITY OF FREIBURG   (Germany)

^b UNITED NATIONS UNIVERSITY   (Macao)

^c NEW YORK UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CRAIG INTERPOLANTS; ERROR EXPLANATION; NOVEL TECHNIQUES; PROGRAM VARIABLES;

ARTIFICIAL INTELLIGENCE;

ALGORITHMS;

EID: 84865966656     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-32759-9_17     Document Type: Conference Paper

References (21)

1. Ball, T., Naik, M., Rajamani, S.K.: From symptom to cause: localizing errors in counterexample traces. SIGPLAN Not., 97-105 (2003)
2. Christ, J., Hoenicke, J.: Instantiation-based interpolation for quantified formulae. In: SMT Workshop Proceedings (2010)
3. Cleve, H., Zeller, A.: Locating causes of program failures. In: ICSE 2005, pp. 342-351 (2005)
4. Coen-Porisini, A., Denaro, G., Ghezzi, C., Pezze, M.: Using symbolic execution for verifying safety-critical systems (2001)
5. Craig, W.: Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory. The Journal of Symbolic Logic, 269-285 (1957)
6. de Moura, L., Bjørner, N.S.: Z3: An Efficient SMT Solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol. 4963, pp. 337-340. Springer, Heidelberg (2008)
7. Ermis, E., Hoenicke, J., Podelski, A.: Splitting via Interpolants. In: Kuncak, V., Rybalchenko, A. (eds.) VMCAI 2012. LNCS, vol. 7148, pp. 186-201. Springer, Heidelberg (2012)
8. Graves, T.L., Harrold, M.J., Kim, J.-M., Porter, A., Rothermel, G.: An empirical study of regression test selection techniques. ACM Trans. Softw. Eng. Methodol, 184-208 (2001)
9. Groce, A.: Error Explanation with Distance Metrics. In: Jensen, K., Podelski, A. (eds.) TACAS 2004. LNCS, vol. 2988, pp. 108-122. Springer, Heidelberg (2004)
10. Groce, A., Kroening, D.: Making the Most of BMC Counterexamples. ENTCS, pp. 67-81 (2005)
11. Groce, A., Kroning, D., Lerda, F.: Understanding Counterexamples with explain. In: Alur, R., Peled, D.A. (eds.) CAV 2004. LNCS, vol. 3114, pp. 453-456. Springer, Heidelberg (2004)
12. Jhala, R., Mcmillan, K.L.: Interpolant-Based Transition Relation Approximation. In: Etessami, K., Rajamani, S.K. (eds.) CAV 2005. LNCS, vol. 3576, pp. 39-51. Springer, Heidelberg (2005)
13. Jose, M., Majumdar, R.: Bug-Assist: Assisting Fault Localization in ANSI-C Programs. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 504-509. Springer, Heidelberg (2011)
14. Jose, M., Majumdar, R.: Cause clue clauses: error localization using maximum satisfiability. In: PLDI 2011, pp. 437-446. ACM (2011)
15. Leino, K.R.M., Millstein, T., Saxe, J.B.: Generating error traces from verification-condition counterexamples. Sci. Comput. Program., 209-226 (2005)
16. McMillan, K.L.: An interpolating theorem prover. Theor. Comput. Sci, 101-121 (2005)
17. Qi, D., Roychoudhury, A., Liang, Z., Vaswani, K.: Darwin: an approach for debugging evolving programs. In: ESEC/SIGSOFT FSE, pp. 33-42 (2009)
18. Renieris,M., Reiss, S.P.: Fault localization with nearest neighbor queries. In: ASE, pp. 30-39 (2003)
19. Wang, C., Yang, Z.-J., Ivančić, F., Gupta, A.: Whodunit? Causal Analysis for Counterexamples. In: Graf, S., Zhang, W. (eds.) ATVA 2006. LNCS, vol. 4218, pp. 82-95. Springer, Heidelberg (2006)
20. Zeller, A.: Isolating cause-effect chains from computer programs. In: SIGSOFT FSE, pp. 1-10 (2002)
21. Zhang, X., He, H., Gupta, N., Gupta, R.: Experimental evaluation of using dynamic slices for fault location. In: AADEBUG 2005, pp. 33-42. ACM (2005)