JADE - AI Support for Debugging Java Programs

Cristinel Mateis; Markus Stumptner; Dominik Wieland; Franz Wotawa

JADE - AI Support for Debugging Java Programs

Cristinel Mateis, Markus Stumptner, Dominik Wieland, Franz Wotawa

Institute of Business Informatics - Data and Knowledge Engineering

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

Abstract

Model-based diagnosis is a successful AI technique for locating and identifying faults in technical systems. 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 source of an error. By using one or more models derived from the source code of the program without additional specifications except the Java semantics, the debugger guides the user (i.e., developer) towards potential sources for incorrect program behaviors, i.e., bugs.

Original language	English
Title of host publication	Proceedings of the 3rd International Workshop on Intelligent Software Engineering (WISE3), Limerick, Ireland, June 6th, 2000
Publication status	Published - Jun 2000

Fields of science

102 Computer Sciences
102015 Information systems

Cite this

@inproceedings{6fcbf1949a59415b959d34929c99c401,

title = "JADE - AI Support for Debugging Java Programs",

abstract = "Model-based diagnosis is a successful AI technique for locating and identifying faults in technical systems. 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 source of an error. By using one or more models derived from the source code of the program without additional specifications except the Java semantics, the debugger guides the user (i.e., developer) towards potential sources for incorrect program behaviors, i.e., bugs.",

author = "Cristinel Mateis and Markus Stumptner and Dominik Wieland and Franz Wotawa",

year = "2000",

month = jun,

language = "English",

booktitle = "Proceedings of the 3rd International Workshop on Intelligent Software Engineering (WISE3), Limerick, Ireland, June 6th, 2000",

}

TY - GEN

T1 - JADE - AI Support for Debugging Java Programs

AU - Mateis, Cristinel

AU - Stumptner, Markus

AU - Wieland, Dominik

AU - Wotawa, Franz

PY - 2000/6

Y1 - 2000/6

N2 - Model-based diagnosis is a successful AI technique for locating and identifying faults in technical systems. 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 source of an error. By using one or more models derived from the source code of the program without additional specifications except the Java semantics, the debugger guides the user (i.e., developer) towards potential sources for incorrect program behaviors, i.e., bugs.

AB - Model-based diagnosis is a successful AI technique for locating and identifying faults in technical systems. 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 source of an error. By using one or more models derived from the source code of the program without additional specifications except the Java semantics, the debugger guides the user (i.e., developer) towards potential sources for incorrect program behaviors, i.e., bugs.

UR - http://www.dke.jku.at/index.html?/research/index.html

M3 - Conference proceedings

BT - Proceedings of the 3rd International Workshop on Intelligent Software Engineering (WISE3), Limerick, Ireland, June 6th, 2000

ER -

JADE - AI Support for Debugging Java Programs

Abstract

Fields of science

Other files and links

Cite this