Software Testing and Beyond

About

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.

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

Target group

The summer school is designed for students who have followed 3-4 years of computer science, software engineering at university level, or a similar educational programme (for instance, master's students from a European computer science programme)

Fee info

The fee includes course material and lunches (sandwiches at Komida). It also includes accommodation in university housing locations (subject to availability)