Text this: Cost-effective model-based test case generation and prioritization for software product line