Lichter, Horst Papers Model-based test case generation and prioritization: a systematic literature review