Automation is an essential aspect of verification and validation. Many techniques and approaches to software testing and analysis require automation to be practically applicable. The course is about software quality in practice. Students will experience different techniques and tools, will experience the limitations of the different approaches and will understand the requirements of automation. They will become familiar with software verification and validation in practice.
The course is not offered in the academic year 2016/17