Fundamentals of debugging using a resolution calculus

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

Volumn 3922 LNCS, Issue , 2006, Pages 278-292

  Köb, Daniel ^a   Wotawa, Franz ^a  

^a GRAZ UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; DIFFERENTIATION (CALCULUS); FAULT TOLERANT COMPUTER SYSTEMS; PROBLEM SOLVING;

FAULT LOCALIZATION; NON-MONOTONIC REASONING; RESOLUTION CALCULUS;

COMPUTER DEBUGGING;

EID: 33745838225     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11693017_21     Document Type: Conference Paper

References (12)

1. th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'03), volume 38, 1 of ACM SIGPLAN Notices, pages 97-105, Jan. 2003.
2. E. M. Clarke, O. Grumberg, and D. A. Peled. Model Checking. The MIT Press, Cambridge, Massachusetts, 1999.
3. J. J. Comuzzi and J. M. Hart. Program Slicing using Weakest Preconditions. Lecture Notes in Computer Science, 1051:557-575, 1996.
4. R. Greiner, B. A. Smith, and R. W. Wilkerson. A Correction to the Algorithm in Reiter's Theory of Diagnosis. Artificial Intelligence, 41(1):79-88, 1989.
5. A. Groce and W. Visser. What Went Wrong: Explaining Counterexamples. In SPIN Workshop on Model Checking of Software, pages 121-135, May 2003.
6. th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '02), volume 37, pages 58-70, Jan. 2002.
7. R. Hildebrandt and A. Zeller. Simplifying Failure-Inducing Input. SIGSOFT Software Engineering Notes, 25(5): 135-145, 2000.
8. C. A. R. Hoare. An Axiomatic Basis for Computer Programming. Communications of the ACM, 12(10):576-583, 1969.
9. R. Reiter. A Theory of Diagnosis from First Principles. Artificial Intelligence, 32(1):57-95, 1987.
10. M. Weiser. Program slicing. IEEE Transactions on Software Engineering, 10(4):352-357, July 1984.
11. F. Wotawa. On the Relationship between Model-Based Debugging and Program Slicing. Artificial Intelligence, 135(1-2): 124-143, 2002.
12. A. Zeller. Isolating Cause-Effect Chains from Computer Programs. In ACM SIGSOFT 10th International Symposium on the Foundations of Software Engineering (FSE-10), pages 1-10, Charleston, South Carolina, Nov. 2002.