Proceedings 12th IEEE Internationals Conference on Tools with Artificial Intelligence. ICTAI 2000
2000
Model-based diagnosis is a successjid AI technique for locating and identifying faults in technical syslems. Extending previous research on model-based diagnosis support for fault search in technical designs, we are building a model-based debugger for Java programs to provide intelligent support for the programmer trying to locate the so~rce of an error: By using one or more models derived from the source code of the program without additional spec$cations except the Java semantics, the debugger guides the user towards potential sources for incorrect program behaviors, i.e., bugs.