Simulate Test Cases and Measure Model Coverage