Integrated and Tool-Supported Teaching of Testing, Debugging, and Verification.

Wolfgang Ahrendt Richard Bubel Reiner Hähnle

Published in: TFM (2009)

Keyphrases

model checking
formal verification
e learning
hardware designs
software testing
case study
symbolic execution
higher education
software tools
hybrid learning
test cases
teaching methods
online learning
computer science education
computer science
unit testing
learning environment