Model-Based Testing of Reactive Systems - Advanced Lectures - Bog - Paperback
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.