Reducing the Cost of Model-Based Testing through Test Case Diversity | Publicación