Diagnostic reasoning based on structure and behavior
Artificial Intelligence - Special volume on qualitative reasoning about physical systems
Automatic verification of finite-state concurrent systems using temporal logic specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Intention-based diagnosis of errors in novice programs
Intention-based diagnosis of errors in novice programs
A theory of diagnosis from first principles
Artificial Intelligence
New Generation Computing
A computational logic handbook
A computational logic handbook
Explanation and prediction: an architecture for default and abductive reasoning
Computational Intelligence
Declarative diagnosis of missing answers
New Generation Computing
Model checking and abstraction
ACM Transactions on Programming Languages and Systems (TOPLAS)
Structure and chance: melding logic and probability for software debugging
Communications of the ACM
Aspect: detecting bugs with abstract dependences
ACM Transactions on Software Engineering and Methodology (TOSEM)
Communications of the ACM
Programmers use slices when debugging
Communications of the ACM
Symbolic Model Checking
Automatic Program DeBugging for Intelligent Tutoring Systems
Automatic Program DeBugging for Intelligent Tutoring Systems
Algorithmic Program DeBugging
A Pragmatic Survey of Automated Debugging
AADEBUG '93 Proceedings of the First International Workshop on Automated and Algorithmic Debugging
Usability Criteria for Automated Debugging Systems
AADEBUG '93 Proceedings of the First International Workshop on Automated and Algorithmic Debugging
Logic programs for consistency-based diagnosis
Logic programs for consistency-based diagnosis
No faults in structure?: how to diagnose hidden interactions
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Debugging user interface descriptions of knowledge-based recommender applications
Proceedings of the 11th international conference on Intelligent user interfaces
Proceedings of the 13th international conference on Intelligent user interfaces
Automated debugging of recommender user interface descriptions
Applied Intelligence
Evolutionary repair of faulty software
Applied Soft Computing
Diagnosing faulty transitions in recommender user interface descriptions
IEA/AIE'06 Proceedings of the 19th international conference on Advances in Applied Artificial Intelligence: industrial, Engineering and Other Applications of Applied Intelligent Systems
A logic approach for LTL system modification
ISMIS'05 Proceedings of the 15th international conference on Foundations of Intelligent Systems
Combining mutation and fault localization for automated program debugging
Journal of Systems and Software
| Hi-index | 0.00 |
Automated debugging systems have a long history with interesting results produced by research prototypes and deployed applications. We present an overview of Artificial Intelligence approaches to the development of intelligent debugging systems. These systems range from tutoring systems that possess detailed knowledge about the individual programs as well as about typical programmer errors occurring in exactly these programs, over Bayesian Net formalisms that employ statistical results about error reports, to traditional debugging approaches such as Algorithmic (or Declarative) Debugging. Finally, we examine the more recent use of model‐based diagnosis principles as a basis for software debugging research. We illustrate the potential of model‐based reasoning by discussing several models (differing in expressivity and assumptions on language semantics) that are currently in various stages of realization, from prototype implementations to test use in an industrial environment.