On changing models in model-based testing door