@Inproceedings{EPTCS208.2,
  author    = {Gudmundsson, Vignir and Lindvall, Mikael and Aceto, Luca and Bergthorsson, Johann  and Ganesan, Dharmalingam },
  year      = {2016},
  title     = {Model-based Testing of Mobile Systems -- An Empirical Study on QuizUp Android App},
  editor    = {Aceto, Luca and Francalanza, Adrian and Ingolfsdottir, Anna},
  booktitle = {{\rm Proceedings First Workshop on}
               Pre- and Post-Deployment Verification Techniques,
               {\rm Reykjav\'ik, Iceland, 4th June 2016}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {208},
  publisher = {Open Publishing Association},
  pages     = {16-30},
  doi       = {10.4204/EPTCS.208.2},
}