Key features:
- Details the key role of model-based testing to ensure continuity in the software testing industrialization process, describing how each step could be implemented.
- Uses detailed examples – the actiTIME application – to teach techniques of model-based testing, including modeling guidelines, test generation strategies and automated test execution.
- Offers a companion website which makes available machine-readable versions of case studies and examples used in the book, as well as presentation slides.