De student will acquire experience with torough testing and verification of a software system, to guarantee with a certaing degree of confidence that a given software system meets its specification.
The course has a practical ring to it with a minimal theoretical content (taught as testing patterns; students have to deliver some of the lectures themselves), several lab-sessions (trying out several test techniques and strategies on an existing software system) and industrial guest speakers illustrating how testing is done in real projects.
This course is offered every 2 years. It will NOT be offered in 2013-2014; 2015-2016; 2017-2018... but will be offered in 2014-2015; 2016-2017.... The motivation for this organisation is the fact that this course explicitly invites industrial guest speakers; a feature well-appreciated by the fellow students. Offering the course every two years must guarantee that these industrial lectures attract sufficent participants.