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 | 27 | 2015 |
Performance analysis of Spotify® for Android with model-based testing AR Espada, MM Gallardo, A Salmerón, P Merino Mobile Information Systems 2017, 2017 | 22 | 2017 |
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 | 16 | 2015 |
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 | 9 | 2019 |
Dragonfly: Encapsulating android for instrumentation AR Espada, MM Gallardo, D Adalid Proceedings of the XIII Jornadas de Programación y Lenguajes (PROLE 2013), 2013 | 4 | 2013 |
A runtime verification framework for android applications AR Espada, MM Gallardo, D Adalid inXXI Jornadas de Concurrencia y Sistemas Distribuidos (JCSD’13), 2013 | 3 | 2013 |
Análisis de aplicaciones móviles utilizando métodos formales AR Espada Sandi, MM Gallardo Melgarejo Málaga, 2017 | 1 | 2017 |
A formal approach to automatically analyse extra-functionalproperties in mobile applications. AR Espada Sandi, MM Gallardo-Melgarejo, A Salmerón, L Panizo-Jaime, ... Wiley, 2019 | | 2019 |