@Inproceedings{EPTCS180.1, author = {Espada, Ana Rosario and Gallardo, Mar\'ia del Mar and Salmer\'on, Alberto and Merino, Pedro}, year = {2015}, title = {Using Model Checking to Generate Test Cases for Android Applications}, editor = {Pakulin, Nikolay and K. Petrenko, Alexander and Schlingloff, Bernd-Holger}, booktitle = {{\rm Proceedings Tenth Workshop on} Model Based Testing, {\rm London, UK, 18th April 2015}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {180}, publisher = {Open Publishing Association}, pages = {7-21}, doi = {10.4204/EPTCS.180.1}, }