TY  - RPRT
TI  - Extended Abstract - Model-Based Debugging of Java Programs
AU  - Cristinel Mateis
AU  - Markus Stumptner
AU  - Dominik Wieland
AU  - Franz Wotawa
PY  - 2000
UR  - https://arxiv.org/abs/cs/0011027
ID  - cs/0011027
ER  -