Abstract Interpretation of Programs for Model-Based Debugging

Mayer, Wolfgang; Stumptner, Markus

Abstract Interpretation of Programs for Model-Based Debugging

Download BibTeX Cite

Proceedings of the Twentieth International Joint Conference on Artificial Intelligence. .

Abstract

Developing model-based automatic debugging strategies has been an active research area for several years. We present a model-based debugging approach that is based on Abstract Interpretation, a technique borrowed from program analysis. The Abstract Interpretation mechanism is integrated with a classical model-based reasoning engine. We test the approach on sample programs and provide the first experimental comparison with earlier models used for debugging. The results show that the Abstract Interpretation based model provides more precise explanations than previous models or standard non-model based approaches.

Wolfgang Mayer, and Markus Stumptner. 2007. Abstract Interpretation of Programs for Model-Based Debugging. In Proceedings of the Twentieth International Joint Conference on Artificial Intelligence, IJCAI-07. IJCAI, https://ijcai.org/proceedings/2007/74

@inproceedings{ijcai2007p74,
  title     = {Abstract Interpretation of Programs for Model-Based Debugging},
  author    = {Mayer, Wolfgang and Stumptner, Markus},
  booktitle = {Proceedings of the Twentieth International Joint Conference on
               Artificial Intelligence, {IJCAI-07}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Ramon López de Mántaras},
  year      = {2007},
  url       = {https://ijcai.org/proceedings/2007/74},
}

TY  - CPAPER
TI  - Abstract Interpretation of Programs for Model-Based Debugging
AU  - Mayer, Wolfgang
AU  - Stumptner, Markus
T2  - Proceedings of the Twentieth International Joint Conference on Artificial Intelligence, IJCAI-07
PB  - International Joint Conferences on Artificial Intelligence
PY  - 2007
UR  - https://ijcai.org/proceedings/2007/74
ER  -