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