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.
I have a question about the book:
‘Model-Based Testing of Reactive Systems - Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker’.
Fill in the form below.
We will respond as fast as possible.
