STEVE : Schlussbericht für den Zeitraum 15.08.2014-30.09.2017
Model-based testing of fault scenarios in production automation
Model-based testing of automotive HMIs with consideration for product variability
Model-based testing of a reactive system with coloured Petri Nets
Generierung von Systemtestfällen für Car Multimedia Systeme aus domänenspezifischen UML Modellen