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.
We value your privacy
We use cookies to measure traffic, improve Boekstra and let Google tailor ads to your interests. You can keep using the site either way — even if you decline. More info
