Gives a practical introduction to model-based testing, showing how to write models for testing purposes and how to use model-based testing tools to generate test suites. This book is aimed at testers and software developers who wish to use model-based testing, rather than at tool-developers or academics.