Model-based testing has long been used in Europe and is becoming more popular in the U.S. and the rest of the world. This book examines systems and software models, provides guidance on model selection, and explains how to test models. Readers also learn how to implement model-based testing in their development organizations. The book follows th