Workload: 6 ECTS
Avoiding Bugs in software systems by construction is impossible. This course is about methodologies, techniques and tools to check the quality of software systems, identify and remove bugs before software deployment to reduce the possibility of runtime failures. Students will see the many facets of the problem and will learn methodologies, approaches and techniques to check the quality of complex software systems. Students will see the different approaches to testing and analysis and will understand the interplay of testing and analysis within the software development process.