Reducing the Cost of Model-Based Testing Through Test Case Diversity