ECAI 2004 Conference Paper

[full paper]

Hig-Level Observations in Java Debugging

Wolfgang Mayer, Markus Stumptner

While there have been considerable developments in modeling techniques for automatically locating faults in programs recently, user interaction was mostly left aside. In particular, the problem of difficult to answer queries when debugging interactively has not been addressed. This work extends the standard entropy-based measurement selection algorithm proposed by de Kleer to deal with high-level observations about the intended behavior of Java programs, specific to a set of test cases. We show how to incorporate the approach into previously developed model-based debugging frameworks and to what extent reasoning about high-level properties of programs can improve diagnostic results.

Keywords: Diagnosis, Debugging, Model-based reasoning

Citation: Wolfgang Mayer, Markus Stumptner: Hig-Level Observations in Java Debugging . In R.López de Mántaras and L.Saitta (eds.): ECAI2004, Proceedings of the 16th European Conference on Artificial Intelligence, IOS Press, Amsterdam, 2004, pp.1059-1060.