Model-based Testing of Mobile Systems - An Empirical Study on QuizUp Android App. - Vignir Gudmundsson; Mikael Lindvall; Luca Aceto; Johann Bergthorsson; Dharmalingam Ganesan (PrePost@IFM, 2016)