Achieving Scalable Model-Based Testing Through Test Case Diversity