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 2019-2020; 2021-2022... but will be offered in 2020-2021; 2022-2023; 2024-2025.... This is because 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.