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

Wolfgang Ahrendt, Richard Bubel, Reiner Haehnle

The course "Testing, Debugging, and Verification" is a non-traditional
formal methods course that connects formal approaches to real-world
development techniques in a novel way.  A general theme in the course
is that formalisation of specifications is the basis for debugging and
test generation tools that go beyond what is possible with merely
informal methods, and ultimately provides the opportunity of formal
verification.  Thereby, the course aims at integrating formal and
informal methods as much as possible. The course is supposed to be
accessible to participants without extensive mathematical training.
We report about the design, implementation, and experiences with the
course.