Towards Applying Model-based Testing in Test Case Migration - Jovanovikj, Ivan; Güldali, Baris; Grieger, Marvin (Softwaretechnik-Trends)