An object store model for diagnosing java programs

Authors:
Rong Chen;Franz Wotawa
Affiliations:
College of Computer Science and Technology, Dalian Maritime University, Dalian, China;Institut for Software Technology, Technische Universit”at Graz, Graz, Austria
Venue:
AI'05 Proceedings of the 18th Australian Joint conference on Advances in Artificial Intelligence
Year:
2005

Citing 6
Cited 1

A theory of diagnosis from first principles

Artificial Intelligence
Aspect: detecting bugs with abstract dependences

ACM Transactions on Software Engineering and Methodology (TOSEM)
A static analyzer for finding dynamic programming errors

Software—Practice & Experience
Simplifying and Isolating Failure-Inducing Input

IEEE Transactions on Software Engineering
From symptom to cause: localizing errors in counterexample traces

POPL '03 Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Automatic detection and repair of errors in data structures

OOPSLA '03 Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications

Model-Based Debugging -- State of the Art And Future Challenges

Electronic Notes in Theoretical Computer Science (ENTCS)

Quantified Score

Hi-index	0.00

Visualization

Abstract

During the last decade many intelligent debugging tools have been developed to assist users to detect program errors in a software system. The tools based on formal verification reveal counterexamples in case a given program violates the specified properties. However, these counterexamples do not allow to locate the root cause sufficiently. In order to bridge the gap between counterexamples and root causes of failure we introduce a new model for localizing program errors. The model we use keeps track on object relations arising during program execution on the given counterexample. We have used the approach to isolate the errors in several small Java programs.