Modellbaserad testning

The course provides a background on the theoretical background and practice of model-based testing, including how testing tools can be used to improve software quality. General test techniques are explained with focus on model-based testing. The course is provided in the so-called mini-modules format, which combines lectures and supervised practical work with exercises in small groups. The exercises are both theoretical and practical in nature.