1 Model-Based Testing and Test-Based Modelling Jan Tretmans Embedded Systems Institute, Eindhoven, NL and Radboud University, Nijmegen, NL Q uasimodo.
© Fraunhofer FIRST Dr. Stephan Weißleder Research Manager Testing Department Quality of Embedded Systems (QUEST) Fraunhofer-Institute FIRST Relation of.
Model-based Testing. Finite state machines Statecharts Grammars Markov chains Stochastic Automata Networks.