Model-based Testing of Mobile Systems – An Empirical Study on QuizUp Android App - Gudmundsson, Vignir; Lindvall, Mikael; Aceto, Luca; Bergthorsson, Johann; Ganesan, Dharmalingam (Electronic proceedings in theoretical computer science, 2016)