This book#xA0;gives a realistic overview of model-based testing, its values and prerequisites for success when deploying the approach in a software testing industrialization perspective.#xA0;The#xA0;text shows how#xA0;to save time and lower costs while raising quality in the phases of system testing, acceptance testing and, more generally, all functional testing phases. 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 #x13; the actiTIME application #x13; to teach techniques of model-based testing, including modeling guidelines, test generation strategies and automated test execution. Offers a companion website which#xA0;makes available machine-readable versions of case studies and examples used in the book, as well as presentation slides.