This book gives a realistic overview of model-based testing, its values and prerequisites for success when deploying the approach in a software testing industrialization perspective. The text shows how to save time and lower costs while raising quality in the phases of system testing, acceptance tes[...]