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
PELAS-Program Error-Locating Assistant System
IEEE Transactions on Software Engineering
Software testing techniques (2nd ed.)
Software testing techniques (2nd ed.)
Approximate Reasoning About the Semantic Effects of Program Changes
IEEE Transactions on Software Engineering
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)
Model-based diagnosis of hardware designs
Artificial Intelligence
Programmers use slices when debugging
Communications of the ACM
Algorithmic Program DeBugging
A Pragmatic Survey of Automated Debugging
AADEBUG '93 Proceedings of the First International Workshop on Automated and Algorithmic Debugging
Dependency-Directed Localization of Software Bugs
Dependency-Directed Localization of Software Bugs
A reactive planner for a model-based executive
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
IJCAI'99 Proceedings of the 16th international joint conference on Artificial intelligence - Volume 2
Hi-index | 0.00 |
This paper extends previous work on the representation and analysis of Java programs for diagnosis in a new direction by providing a description and analysis of the issues arising from handling object references in dependency-based models of Java programs. We empirically compare dependency-based models with a value-based model using a set of example programs in terms of required user interaction (questions put to the user) and examine and incorporate specific interesting error categories. Apart from being based on experience with an actual implementation of the various models, the model extensions and analysis deal with aliasing, an issue that the programming language community has been examining for a long time, and that is also crucial to object-orientedness.