Automated Fault Localization for C Programs

Electronic Notes in Theoretical Computer Science

Volumn 174, Issue 4, 2007, Pages 95-111

  Griesmayer, Andreas ^a   Staber, Stefan ^a   Bloem, Roderick ^a  

^a GRAZ UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

counterexample; debugging; fault localization; model checking

Indexed keywords

COUNTEREXAMPLES; FAULT LOCALIZATION; SOURCE CODES; AUTOMATIC APPROACHES; BOUNDED MODEL CHECKERS; C PROGRAMS; COUNTEREXAMPLE; MODEL CHECKER; VERIFICATION ENGINEERS;

CODES (SYMBOLS); DATA REDUCTION; MATHEMATICAL MODELS; MODEL CHECKING; PROGRAM DEBUGGING; COMPUTER DEBUGGING;

C (PROGRAMMING LANGUAGE);

EID: 34248655664     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2006.12.032     Document Type: Article

References (27)

1. T. Ball, M. Naik, and S.K. Rajamani. From symptom to cause: Localizing errors in counterexample traces. In 30th Symposium on Principles of Programming Languages (POPL 2003), pages 97-105, January 2003
2. T. Ball and S. K. Rajamani. Automatically validating temporal safety properties of interfaces. In M.B. Dwyer, editor, 8th International SPIN Workshop, pages 103-122, Toronto, May 2001. Springer-Verlag. LNCS 2057
3. E.M. Clarke, D. Kroening, and F. Lerda. A tool for checking ANSI-C programs. In Tools and Algorithms for the Construction and Analysis of Systems (TACAS'04), pages 168-176, 2004
4. L. Console, G. Friedrich, and D. Theseider Dupré. Model-based diagnosis meets error diagnosis in logic programs. In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI'93), pages 1494-1499. Morgan-Kaufmann, 1993
5. Cormen T.H., Leiserson C.E., and Rivest R.L. An Introduction to Algorithms (1990), McGraw-Hill, New York
6. Do H., Elbaum S.G., and Rothermel G. Supporting controlled experimentation with testing techniques: An infrastructure and its potential impact. Empirical Software Engineering: An International Journal 10 (2005) 405-435
7. M. Fahim Ali, A. Veneris, S. Safarpur, R. Drechsler, A. Smith, and M. Abadir. Debugging sequential circuits using Boolean satisfiability. In International Conference on Computer Aided Design, pages 204-209, 2004
8. Felfernig A., Friedrich G., Jannach D., and Stumptner M. Consistency-based diagnosis of configuration knowledge bases. Artificial Intelligence 152 (2004) 213-234
9. G. Friedrich, M. Stumptner, and F. Wotawa. Model-based diagnosis of hardware designs. In European Conference on Artificial Intelligence, pages 491-495, 1996
10. A. Griesmayer, R. Bloem, and B. Cook. Repair of boolean programs with an application to C. In 18th Conference on Computer Aided Verification (CAV'06), pages 358-371, 2006. LNCS 4144
11. A. Groce. Error explanation with distance metrics. In International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS'04), pages 108-122, Barcelona, Spain, March-April 2004. LNCS 2988
12. A. Groce and W. Visser. What went wrong: Explaining counterexamples. In Model Checking of Software: 10th International SPIN Workshop, pages 121-135. Springer-Verlag, May 2003. LNCS 2648
13. Huang S.-Y., and Cheng K.-T. Formal Equivalence Checking and Design Debugging (1998), Kluwer Academic Publishers
14. Jin H., Ravi K., and Somenzi F. Fate and free will in error traces. Software Tools for Technology Transfer 6 2 (August 2004) 102-116
15. B. Jobstmann, A. Griesmayer, and R. Bloem. Program repair as a game. In K. Etessami and S.K. Rajamani, editors, 17th Conference on Computer Aided Verification (CAV'05), pages 226-238. Springer-Verlag, 2005. LNCS 3576
16. de Kleer J., and Williams B.C. Diagnosing multiple faults. Artificial Intelligence 32 (1987) 97-130
17. D. Köb. Extended Modeling for Automated Fault Localization in Object-Oriented Software. PhD thesis, Graz University of Technology, 2005
18. D. Köb and F. Wotawa. Fundamentals of debugging using a resolution calculus. In Fundamental Approaches to Software Engineering (FASE'06), pages 278-292. Springer-Verlag, March 2006. LNCS 3922
19. Mayer W., and Stumptner M. Extending diagnosis to debug programs with exceptions. 18th IEEE International Conference on Automated Software Engineering, 2003 (2003) 240-244
20. Peischl B., and Wotawa F. Automated source-level error localization in hardware designs. IEEE Design and Test of Computers 23 1 (2006) 8-19
21. Reiter R. A theory of diagnosis from first principles. Artificial Intelligence 32 (1987) 57-95
22. M. Renieris and S.P. Reiss. Fault localization with nearest neighbor queries. In International Conference on Automated Software Engineering, pages 30-39, Montreal, Canada, October 2003
23. S. Staber, B. Jobstmann, and R. Bloem. Finding and fixing faults. In D. Borrione and W. Paul, editors, 13th Conference on Correct Hardware Design and Verification Methods (CHARME '05), pages 35-49. Springer-Verlag, 2005. LNCS 3725
24. Tip F. A survey of program slicing techniques. Journal of Programming Languages 3 (1995) 121-189
25. Wotawa F. Debugging hardware designs using a value-based model. Applied Intelligence 16 (2002) 71-92
26. A. Zeller. Isolating cause-effect chains from computer programs. In 10th International Symposium on the Foundations of Software Engineering (FSE-10), pages 1-10, November 2002
27. Zeller A., and Hildebrandt R. Simplifying and isolating failure-inducing input. IEEE Transactions on Software Engineering 28 2 (February 2002) 183-200