Extended Abstract - Model-Based Debugging of Java Programs

Cristinel Mateis, Markus Stumptner, Dominik Wieland +1

Model-based reasoning is a central concept in current research into intelligent diagnostic systems. It is based on the assumption that sources of incorrect behavior in technical de…