Achieving scalable model-based testing through test case diversity | Publicación