Követés
Ana Rosario Espada
Cím
Hivatkozott rá
Hivatkozott rá
Év
Using model checking to generate test cases for android applications
AR Espada, MM Gallardo, A Salmerón, P Merino
arXiv preprint arXiv:1504.02440, 2015
252015
Performance analysis of Spotify® for Android with model-based testing
AR Espada, MM Gallardo, A Salmerón, P Merino
Mobile Information Systems 2017, 2017
192017
Runtime verification of expected energy consumption in smartphones
AR Espada, M del Mar Gallardo, A Salmerón, P Merino
International SPIN Workshop on Model Checking of Software, 132-149, 2015
152015
A formal approach to automatically analyse extra‐functional properties in mobile applications
A Rosario Espada, M del Mar Gallardo, A Salmerón, L Panizo, P Merino
Software Testing, Verification and Reliability 29 (4-5), e1699, 2019
82019
Dragonfly: Encapsulating android for instrumentation
AR Espada, MM Gallardo, D Adalid
Proceedings of the XIII Jornadas de Programación y Lenguajes (PROLE 2013), 2013
42013
A runtime verification framework for android applications
AR Espada, MM Gallardo, D Adalid
inXXI Jornadas de Concurrencia y Sistemas Distribuidos (JCSD’13), 2013
32013
Análisis de aplicaciones móviles utilizando métodos formales
AR Espada Sandi, MM Gallardo Melgarejo
Málaga, 2017
12017
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–7