The lectures are presented in topical sections on testing of finite state machines, testing of labelled transition systems, model-based test case generation, tools and case studies, standardized test notation and execution architectures, and beyond testing.
Ik heb een vraag over het boek: ‘Model-Based Testing of Reactive Systems - Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker’.
Vul het onderstaande formulier in.
We zullen zo spoedig mogelijk antwoorden.
