Model-Based Testing of Reactive Systems - Advanced Lectures
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.
Tales.dk
DKK 870.95