Model-based testing (MBT) aims to transfer the principles of model-based software development to testing. It involves the use of models for automating testing activities as well as modeling artifacts in the testing process. While MBT has been perceived in recent years as a much-discussed buzzword, it is now being applied successfully in practical industrial settings. This book provides the fundamentals of model-based testing and offers a comprehensive overview of the model-based testing process. It also highlights the prerequisites for implementing model-based testing in an organization, the potential pitfalls that can hinder a successful introduction, and how to avoid these pitfalls. Numerous examples are based on two comprehensive applications.