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

Course leader

Guillermo Alberto Pérez, Serge Demeyer

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)

Course aim

After following this course, participants will be able to:
- ​apply white-box and black-box test techniques to build a test-suite;
- ​assess and improve the coverage of a test suite;
- distinguish between various test automation strategies;
- select black-box model-learning techniques;
- ​select the most appropriate test techniques for a given test strategy.​

Fee info

The tuition fee includes course material, social activities, and sandwich lunches. Optional accommodation in university housing is available for an additional fee of €560, upon request and subject to availability.