Cristinel Mateis, Markus Stumptner, Franz Wotawa,
"Modeling Java Programs for Diagnosis"
, in Kurt Sundermeyer (ed.): Proceedings of the 14th European Conference on Artificial Intelligence (ECAI 2000), August 20th - 25th 2000, Berlin, Deutschland, John Wiley & Sons, 8-2000
Modeling Java Programs for Diagnosis
Sprache des Titels:
Proceedings of the 14th European Conference on Artificial Intelligence (ECAI 2000), August 20th - 25th 2000, Berlin, Deutschland
A key advantage of model-based diagnosis is the ability to use a generic model for the production of system descriptions that can be used to derive diagnoses for differently structured individual systems from a domain. This advantage is nowhere more apparent than in the software error diagnosis (or debugging) area, where given a model, system descriptions can be automatically derived from source code. However, effective models for diagnosing programs have so far been limited to special-purpose languages. We describe a value-based model for Java programs that enables us to explicitly deal with imperative program execution (including loop execution), and compare the results to those obtained by using program slicing, a traditional technique from the software debugging community, and a simple dependency-based model for Java.
Sprache der Kurzfassung:
John Wiley & Sons
Notiz zur Publikation:
If you are interested in the paper, you may receive a copy (PDF) by sending an e-mail to our office (email@example.com). Please include the paper-no. (Stum00h) and agree to use the paper for scientific purposes and private use only!