Cristinel Mateis, Markus Stumptner, Dominik Wieland, Franz Wotawa. Model-Based Debugging of Java Programs. In Mireille Ducassé, editor, Proceedings of the Fourth International Workshop on Automated Debugging, AADEBUG 2000, Munich, Germany, August 28-30th, 2000. 2000. [doi]
Abstract is missing.