Instructors: Mauro Pezzè
Academic Programs: Master of Science in Informatics
Workload: 3 ECTS
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.