loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
12th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'00)
JADE - AI Support for Debugging Java Programs
Vancouver, British Columbia, Canada
November 13-November 15
ISBN: 0-7695-0909-6
ASCII Text
x 
 
Cristinel Mateis, Markus Stumptner, Dominik Wieland, Franz Wotawa, "JADE - AI Support for Debugging Java Programs," Tools with Artificial Intelligence, IEEE International Conference on, pp. 0062, 12th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'00), 2000.
 
 
BibTex
x
 
@article{ 10.1109/TAI.2000.889847,
author = {Cristinel Mateis and Markus Stumptner and Dominik Wieland and Franz Wotawa},
title = {JADE - AI Support for Debugging Java Programs},
journal ={Tools with Artificial Intelligence, IEEE International Conference on},
volume = {0},
year = {2000},
isbn = {0-7695-0909-6},
pages = {0062},
doi = {http://doi.ieeecomputersociety.org/10.1109/TAI.2000.889847},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Tools with Artificial Intelligence, IEEE International Conference on
TI - JADE - AI Support for Debugging Java Programs
SN - 0-7695-0909-6
SP
EP
A1 - Cristinel Mateis,
A1 - Markus Stumptner,
A1 - Dominik Wieland,
A1 - Franz Wotawa,
PY - 2000
VL - 0
JA - Tools with Artificial Intelligence, IEEE International Conference on
ER -
 
Cristinel Mateis, Technische Universitat Wien, lnstitut fur lnformationssysteme
Markus Stumptner, Technische Universitat Wien, lnstitut fur lnformationssysteme
Dominik Wieland, Technische Universitat Wien, lnstitut fur lnformationssysteme
Franz Wotawa, Technische Universitat Wien, lnstitut fur lnformationssysteme
Abstract: Model-based diagnosis is a successjill 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 cowards potential sources for incorrect program behaviors, i.e., bugs.
Citation:
Cristinel Mateis, Markus Stumptner, Dominik Wieland, Franz Wotawa, "JADE - AI Support for Debugging Java Programs," ictai, pp.0062, 12th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'00), 2000
Usage of this product signifies your acceptance of the Terms of Use.