Coverage-based test case selection on a simulation model