Wolfgang Ahrendt Richard Bubel Reiner Hähnle Integrated and Tool-Supported Teaching of Testing, Debugging, and Verification. 125-143 2009 TFM http://dx.doi.org/10.1007/978-3-642-04912-5_9 conf/tfm/2009 db/conf/tfm/tfm2009.html#AhrendtBH09