Software testing and beyond

Good Practices and Tools for Safe and Reliable Software

Beschrijving

Master the state of the art concerning of building state-of-the-art software test-suites! Apply state-of-art techniques to automate tests and test generation as well as guidelines to choose the most appropriate testing and verification approaches for a given test strategy.

Programma

During this summer school, you will acquire hands-on experience with thorough testing and verification of software systems, to guarantee with a certain degree of confidence that a given software system meets its specification.

This course combines practical application with foundational theoretical content. Lectures will introduce key concepts, while homework readings will deepen your understanding. Students will also participate in several engaging lab sessions, trying out several test techniques and strategies on an existing software system.