Student tutors for the course Data Modelling wanted (winter term 2021/22)

IT-Project Data Souvereignty in winter termin 2021/22

Business Intelligence: Washing Gold in Times of Information Overload

See all news.



You can find us here.

Modeling Java Programs for Diagnosis

Authors: C. Mateis, M. Stumptner, F. Wotawa
Paper: Stum00h (2000)
Citation: Kurt Sundermeyer (ed.): Proceedings of the 14th European Conference on Artificial Intelligence (ECAI 2000), August 20th - 25th 2000, Berlin, Deutschland, John Wiley & Sons, 2000.
Resources: Copy  (In order to obtain the copy please send an email with subject  Stum00h  to


A key advantage of model-based diagnosis is the ability to use a generic model for the production of system descriptions that can be used to derive diagnoses for differently structured individual systems from a domain. This advantage is nowhere more apparent than in the software error diagnosis (or debugging) area, where given a model, system descriptions can be automatically derived from source code. However, effective models for diagnosing programs have so far been limited to special-purpose languages. We describe a value-based model for Java programs that enables us to explicitly deal with imperative program execution (including loop execution), and compare the results to those obtained by using program slicing, a traditional technique from the software debugging community, and a simple dependency-based model for Java.