
Book Introduction
Justyna Zander, Ina Schieferdecker, and Pieter J. Mosterman
The purpose of this handbook is to provide a broad overview of the current state of model-
based testing (MBT) for embedded systems, including the potential breakthroughs, the
challenges, and the achievements observed from numerous perspectives. To attain this objec-
tive, the book offers a compilation of 22 high-quality contributions from world-renowned
industrial and academic authors. The chapters are grouped into six parts.
• The first part comprises the contributions that focus on key test concepts for embedded
systems. In particular, a taxonomy of MBT approaches is presen ...