Similarity-Based Test Case Selection: Toward Scalable and Practical Model-Based Testing