أرسل هذا في رسالة قصيرة: Cost-effective model-based test case generation and prioritization for software product line