Home

Publications

Teaching

Links

CV

Contacts

Formal Methods for Cyber-Physical Systems - Module on Model-based testing

May 13, 2019
Introduction to testing [slides]
Combinatorial testing [slides]

June 3, 2019
Introduction to model-based testing [slides]
Conformance testing [slides]

June 10, 2019
Logic coverage and fault-based testing [slides]

June 17, 2019
Tools: NuSMV, Yices, Eclipse
Test case generation with model checkers [slides, examples, exercises]
Test case generation with SMT solvers [slides, exercises]

Course assignments
Assignments
Java library for first assignment