Published Articles >> Table of Contents >> Abstract

12th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'00)   p. 0062
JADE - AI Support for Debugging Java Programs
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

Full Article Text:

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/TAI.2000.889847
Send link to a friend

Abstract
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.
Back to Top Additional Information
Citation:  Cristinel Mateis, Markus Stumptner, Dominik Wieland, Franz Wotawa, "JADE - AI Support for Debugging Java Programs," ictai, p. 0062,  12th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'00),  2000