TY  - RPRT
TI  - Using Model Checking to Generate Test Cases for Android Applications
AU  - Ana Rosario Espada
AU  - María del Mar Gallardo
AU  - Alberto Salmerón
AU  - Pedro Merino
PY  - 2015
DO  - 10.4204/eptcs.180.1
UR  - https://arxiv.org/abs/1504.02440
ID  - 1504.02440
ER  -