📘 New release · Now on Amazon Kindle

Prove It Works.

Model-Based Test-Driven Development for Embedded & Automotive Software

Turn requirements into state machines, derive tests from the model, implement in C, and inject defects on purpose to prove your tests actually catch them. Six hands-on labs, a capstone project, and 50 exercises.