The program dependence graph and its use in optimization
ACM Transactions on Programming Languages and Systems (TOPLAS)
A theory of diagnosis from first principles
Artificial Intelligence
Artificial Intelligence
Error diagnosis in logic programming, an adaptation of E.Y. Shapiro's method
Journal of Logic Programming
Interprocedural slicing using dependence graphs
PLDI '88 Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation
Information Processing Letters
A correction to the algorithm in Reiter's theory of diagnosis
Artificial Intelligence
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)
A parallel algorithm for static program slicing
Information Processing Letters
Model-based diagnosis of hardware designs
Artificial Intelligence
Programmers use slices when debugging
Communications of the ACM
Algorithmic Program DeBugging
The Design and Analysis of Computer Algorithms
The Design and Analysis of Computer Algorithms
IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
Dependency-Directed Localization of Software Bugs
Dependency-Directed Localization of Software Bugs
Logic programs for consistency-based diagnosis
Logic programs for consistency-based diagnosis
Modeling Programs with Unstructured Control Flow for Debugging
AI '02 Proceedings of the 15th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Consistency-based diagnosis of configuration knowledge bases
Artificial Intelligence
Debugging VHDL Designs: Introducing Multiple Models and First Empirical Results
Applied Intelligence
A brief survey of program slicing
ACM SIGSOFT Software Engineering Notes
Debugging VHDL designs using temporal process instances
IEA/AIE'2003 Proceedings of the 16th international conference on Developments in applied artificial intelligence
Model-Based Debugging -- State of the Art And Future Challenges
Electronic Notes in Theoretical Computer Science (ENTCS)
Using abstract dependences to localize faults from procedural programs
AIAP'07 Proceedings of the 25th conference on Proceedings of the 25th IASTED International Multi-Conference: artificial intelligence and applications
Model-Based Diagnosis of Discrete Event Systems with an Incomplete System Model
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on 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
A formalization of program debugging in the situation calculus
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
Operator component matrix model for IMP program diagnosis
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Abstract interpretation of programs for model-based debugging
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Evaluating Models for Model-Based Debugging
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Diagnosing Process Trajectories Under Partially Known Behavior
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Exception handling in web service processes
The evolution of conceptual modeling
Fundamentals of debugging using a resolution calculus
FASE'06 Proceedings of the 9th international conference on Fundamental Approaches to Software Engineering
Combining slicing and constraint solving for better debugging: the CONBAS approach
Advances in Software Engineering
Microprocessors & Microsystems
| Hi-index | 0.00 |
Program slicing is a general, widely-used, and accepted technique applicable to different software engineering tasks including debugging, whereas model-based diagnosis is an AI technique originally developed for finding faults in physical systems. During the last years it has been shown that model-based diagnosis can be used for software debugging. In this paper we discuss the relationship between debugging using a dependency-based model and program slicing. As a result we obtain that slices of a program in a fault situation are equivalent to conflicts in model-based debugging.