Diagnosing Java Programs with Static Abstractions of Data Structures

  • Rong Chen
  • Daniel Koeb
  • Franz Wotawa
Conference paper
Part of the IFIP International Federation for Information Processing book series (IFIPAICT, volume 163)


Model-based software debugging helps users to find program errors and thus to reduce the overall costs for software development. In this paper, we extend our previous work to diagnose common data structure errors. The proposed logical program model derives from a collection of indexed object relations, which capture the underlying data structures at the abstraction level of objects. A case study suggests that the counterexample with the diagnoses can help the user to understand the nature of program errors and thus speed up error correction.

Key words

Automatic reasoning model-based diagnosis fault localization 


  1. I. C. Mateis, M. Stumptner, and F. Wotawa. Modeling Java Programs for Diagnosis, ECAI 2001, Berlin Germany.Google Scholar
  2. 2.
    R. Cytron, J. Ferrante, B. K. Rosen, M. N. Wegman and F. K. Zadeck. Efficiently computing static single assignment form and the control dependence graph, ACM TOPLAS, 13(4): 451–490, 1991.CrossRefGoogle Scholar
  3. 3.
    R. Reiter. A theory of diagnosis from first principles, AI, 32(1):57–59, 1987.zbMATHMathSciNetGoogle Scholar

Copyright information

© International Federation for Information Processing 2005

Authors and Affiliations

  • Rong Chen
    • 1
    • 2
  • Daniel Koeb
    • 1
  • Franz Wotawa
    • 1
  1. 1.Institute for Software TechnologyTechnische Universitaet GrazGrazAustria
  2. 2.Institute of Software ResearchZhongshan UniversityGuangzhouChina

Personalised recommendations