Skip to main content.

This course is an elective at the master level, for 6 study points (26 hours lectures, 26 hours practical sessions). 
The course is taught in English in the first semester.
The official course description can be found here.


The goal of this course is to study automated techniques for evaluating, assuring, and improving the quality of software.
This slide deck should give a better idea about these techniques.

The initial lectures focus on foundations, each with an example application:

In the final lectures, we study recent publications to understand how these foundations are evolving to cope with the complexity of contemporary software.


There is no traditional oral or written exam. Students will be graded as follows:

Note that failing to hand in an assignment or failing to present automatically results in an ABSENT mark.


​The theory is lectured every Thursday from 10:00 till 12:00 in room F.10.720, with the following exceptions:

The first lecture takes place on September 29.

The exercise sessions take place every Friday from 15:00 till 17:00 in room E.1.4, except in week 3 or when replaced by a lecture (week 4, 6, 10, 12). Replacement sessions will be planned.


The contents of this course has moved to Pointcarré.