Model-Based Debugging - State of the Art And Future Challenges

Electronic Notes in Theoretical Computer Science

Volumn 174, Issue 4, 2007, Pages 61-82

  Mayer, Wolfgang ^a   Stumptner, Markus ^a  

^a UNIVERSITY OF SOUTH AUSTRALIA   (Australia)

Author keywords

Automated Debugging; Model based Reasoning

Indexed keywords

CASE BASED REASONING; COMPUTER PROGRAMMING LANGUAGES; MATHEMATICAL MODELS; SEMANTICS;

AUTOMATED DEBUGGING; MODEL BASED REASONING; MODEL BASED SOFTWARE DEBUGGING (MBSD);

PROGRAM DEBUGGING;

AUTOMATED DEBUGGING; FUTURE CHALLENGES; MODEL-BASED DEBUGGING; MODEL-BASED OPC; MODEL-BASED REASONING; SOFTWARE DEBUGGING; STATE OF THE ART;

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

References (43)

1. Hiralal Agrawal. Towards Automatic Debugging of Computer Programs. PhD thesis, Purdue University, 1991
2. Ali M.F., Veneris A.G., Smith A., Safarpour S., Drechsler R., and Abadir M.S. Debugging sequential circuits using boolean satisfiability. ICCAD (2004), IEEE Computer Society / ACM 204-209
3. Scott Ananian. The static single information form. Master's thesis, Department of Electrical and Computer Science, Princeton University, 1999
4. Thomas Ball, Rupak Majumdar, Todd D. Millstein, and Sriram K. Rajamani. Automatic predicate abstraction of C programs. In PLDI, pages 203-213, 2001
5. Gregory W. Bond. Logic Programs for Consistency-Based Diagnosis. PhD thesis, Carleton University, Faculty of Engineering, 1994
6. François Bourdoncle. Abstract debugging of higher-order imperative languages. In Proc. SIGPLAN Conf. PLDI, pages 46-55, 1993
7. Chaki S., Groce A., and Strichman O. Explaining abstract counterexamples. SIGSOFT FSE (2004), ACM 73-82
8. Chen R., and Wotawa F. An object store model for diagnosing Java programs. Aust. AI. LNCS volume 3809 (2005) 865-870
9. Clarke E.M., Grumberg O., and Long D.E. Model Checking and Abstraction. ACM TOPLAS 16 5 (1994) 1512-1542
10. Cleve H., and Zeller A. Locating causes of program failures. Proc. ICSE (2005), ACM 342-351
11. Luca Console, Gerhard Friedrich, and Daniele Theseider Dupré. Model-based diagnosis meets error diagnosis in logic programs. In Proc. 13th IJCAI, pages 1494-1499, 1993
12. James C. Corbett. Using shape analysis to reduce finite-state models of concurrent Java programs. Technical report, Department of Information and Computer Science, University of Hawaii, 1998
13. Cytron R., Ferrante J., Rosen B.K., Wegman M.N., and Kenneth Zadeck F. Efficiently computing static single assignment form and the control dependence graph. ACM TOPLAS 13 4 (1991) 451-490
14. Davis R. Diagnostic reasoning based on structure and behavior. Artificial Intelligence 24 (1984) 347-410
15. Felfernig A., Friedrich G., Jannach D., and Stumptner M. Consistency-based diagnosis of configuration knowledge bases. Artificial Intelligence 152 2 (2004) 213-234
16. Gerhard Friedrich, Markus Stumptner, and Franz Wotawa. Model-based diagnosis of hardware designs. In Proc. ECAI, pages 491-495. 1996
17. Greiner R., Smith B.A., and Wilkerson R.W. A correction to the algorithm in Reiter's theory of diagnosis. Artificial Intelligence 41 1 (1989) 79-88
18. Groce A., and Visser W. What went wrong: Explaining counterexamples. Proc. SPIN. LNCS volume 2648 (2003) 121-135
19. He H., and Gupta N. Automated debugging using path-based weakest preconditions. Proc. FASE. LNCS volume 2984 (2004) 267-280
20. Huang S.-Y., and Cheng K.-T. Errortracer: design error diagnosis based on fault simulation techniques. TCAD 18 9 (1999) 1341-1352
21. Jackson D. Aspect: Detecting Bugs with Abstract Dependences. ACM TOSEM 4 2 (1995) 109-145
22. Jones J.A., Harrold M.J., and Stasko J.T. Visualization of test information to assist fault localization. ICSE (2002), ACM 467-477
23. Ulrich Junker. QUICKXPLAIN: Conflict detection for arbitrary constraint propagation algorithms. In IJCAI'01 Workshop on Modelling and Solving problems with constraints, 2001
24. Daniel Köb, Rong Chen, and Franz Wotawa. Abstract model refinement for model-based program debugging. In Proc. DX'05, pages 7-12, 2005
25. Daniel Köb and Franz Wotawa. A comparison of fault explanation and localization. In Proc. DX'05, pages 157-162, 2005
26. Ron I. Kuper. Dependency-directed localization of software bugs. Technical Report AI-TR 1053, MIT AI Lab, 1989
27. Cristinel Mateis, Markus Stumptner, and Franz Wotawa. Debugging of Java programs using a model-based approach. In Proc. DX'99 Workshop, 1999
28. Wolfgang Mayer and Markus Stumptner. Model-based debugging using multiple abstract models. In Proc. AADEBUG '03, pages 55-70, 2003
29. Wolfgang Mayer and Markus Stumptner. Model-based debugging with high-level observations. In ICIIP, 2004
30. Wolfgang Mayer, Markus Stumptner, and Franz Wotawa. Model-based Debugging or How to Diagnose Programs Automatically. In Proc. IEA/AIE, LNAI, pages 746-757, 2002
31. Flemming Nielson, Hanne R. Nielson, and Chris Hankin. Principles of Program Analysis. 1999
32. Offutt J.A., and Lee S.D. An empirical evaluation of weak mutation. IEEE TSE 20 5 (1994) 337-344
33. Bernhard Peischl, Saffeeullah Soomro, and Franz Wotawa. Dependence in verification and debugging. In Proc. DX'06, 2006
34. Reiter R. A theory of diagnosis from first principles. Artificial Intelligence 32 1 (1987) 57-95
35. Reps T.W., Sagiv S., and Wilhelm R. Static program analysis via 3-valued logic. CAV. LNCS 3114 (2004) 15-30
36. Stumptner M. Using design information to identify structural software faults. Aust. AI. LNCS volume 2256 (2001) 473-486
37. Tip F. A Survey of Program Slicing Techniques. Journal of Programming Languages 3 3 (1995) 121-189
38. Dominik Wieland. Model-Based Debugging of Java Programs Using Dependencies. PhD thesis, Technische Universität Wien, 2001
39. Franz Wotawa. Applying Model-Based Diagnosis to Software Debugging of Concurrent and Sequential Imperative Programming Languages. PhD thesis, Technische Universität Wien, 1996
40. Wotawa F. Debugging hardware designs using a value-based model. Applied Intelligence 16 1 (2002) 71-92
41. Wotawa F. On the relationship between model-based debugging and program slicing. Artificial Intelligence 135 1-2 (2002) 125-143
42. Wotawa F. Debugging VHDL designs: Introducing multiple models and first empirical results. Applied Intelligence 21 2 (2004) 159-172
43. Xie Y., and Engler D.R. Using redundancies to find errors. IEEE TSE 29 10 (2003) 915-928