Model-based Testing. Finite state machines Statecharts Grammars Markov chains Stochastic Automata Networks.