Integrated and Tool-Supported Teaching of Testing, Debugging, and Verification - Ahrendt, Wolfgang; Bubel, Richard; Hähnle, Reiner (Second International Conference on Teaching Formal Methods, Eindhoven, Netherlands, 2009)