Electronic engine control is an important component of all Cummins engines. However, developing reliable engine controllers that work without failure under a variety of conditions can be challenging. Traditional software development and verification techniques at Cummins were based on manual interaction including code review and white-box code testing followed by component and integration tests. While…