@inproceedings{Stum00n,
author = {C.~Mateis AND M.~Stumptner AND D.~Wieland AND F.~Wotawa},
booktitle = {{Proceedings of the Fourth International Workshop on Automated Debugging (AADEBUG 2000), Munich, Germany, 28-30 August 2000}},
editor = {M.~Ducass\'e},
title = {{Extended Abstract - Model-Based Debugging of Java Programs}},
year = {2000}
}