Debugging of Java programs using a model-based approach (1999)

by C Mateis, M Stumptner, F Wotawa
Venue:in: Proceedings of the Tenth International Workshop on Principles of Diagnosis, Loch Awe