Intention-based diagnosis of errors in novice programs
Intention-based diagnosis of errors in novice programs
Generalized algorithmic debugging and testing
PLDI '91 Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation
Debugging with dynamic slicing and backtracking
Software—Practice & Experience
Aspect: detecting bugs with abstract dependences
ACM Transactions on Software Engineering and Methodology (TOSEM)
Model-based diagnosis of hardware designs
Artificial Intelligence
On the relationship between model-based debugging and program slicing
Artificial Intelligence
Debugging Hardware Designs Using a Value-Based Model
Applied Intelligence
Using Design Information to Identify Structural Software Faults
AI '01 Proceedings of the 14th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Model-Based Diagnosis or Reasoning from First Principles
IEEE Intelligent Systems
Dependency-Directed Localization of Software Bugs
Dependency-Directed Localization of Software Bugs
Fault localization based on abstract dependencies
IEA/AIE'2005 Proceedings of the 18th international conference on Innovations in Applied Artificial Intelligence
Detect and Localize Faults in Alias-Free Programs Using Specification Knowledge
IEA/AIE '09 Proceedings of the 22nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems: Next-Generation Applied Intelligence
ICIC'10 Proceedings of the Advanced intelligent computing theories and applications, and 6th international conference on Intelligent computing
Hi-index | 0.00 |
Use of fault localization in control engineering where engineers often employ the procedural programming paradigm. Often control software is safety-critical and thus detection but also localization of bugs is uttermost important. Detecting and locating faults is one of the most important phase of Software Engineering. Many efforts have been taken to improve software development and to prevent faults. But still software faults pose that most challenging problems to software engineers.This article makes use of abstract dependencies between program variables for locating faults in programs. We motivate the underline theory and give experimental results. Our fault localization model is based on previous work that uses the abstract dependencies for fault detection. In this paper we introduce a model for method calls including parameter substitution, global variables and the return statement of methods. The results show that our model is practically applicable in the field of software debugging.