Master Assignements

Model-based testing of printer controllers, using combinatorial testing and SMT solvers

Model-based testing in an agile development environment

Model-based testing for conformance and certification

Model-based techniques in the integration and test process

Security conformance testing and certification

Additional Information: Jan Tretmans (tretmans@cs.ru.nl).