A survey of intelligent debugging

AI Communications

Volumn 11, Issue 1, 1998, Pages 35-51

  Stumptner, Markus ^a  

^a VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

Debugging; Model based diagnosis; Validation

Indexed keywords

ALGORITHMS; ARTIFICIAL INTELLIGENCE; COMPUTER AIDED INSTRUCTION; COMPUTER SYSTEMS PROGRAMMING; ERROR ANALYSIS; MATHEMATICAL MODELS; STATISTICAL METHODS;

BAYESIAN NETS; INTELLIGENT DEBUGGING SYSTEMS; MODEL-BASED REASONING;

PROGRAM DEBUGGING;

EID: 0031631426     PISSN: 09217126     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (4)

1. D. Allemang and B. Chandrasekaran, Functional representation and program debugging, in: Proc. IEEE Knowledge-Based Sofhvare Engineering Conference, IEEE, 1991, pp. 136-143.
2. L. Burnell and E. Horvitz, A synthesis of logical and probabilistic reasoning for program understanding and debugging, in: Proc. of the International Conference on Uncertainty in Artificial Intelligence, 1993, pp. 285-291.
3. L. Burnell and E. Horvitz, Structure and chance: melding logic and probability for software debugging, Communications of the ACM, 1995,31-41.
4. R.S. Boyer and J.S. Moore, A Computational Logic Handbook, Academic Press, 1988.