Test Coverage Analysis of an Engine Model