Ana Rosario Espada

Publication Activity (10 Years)

Years Active: 2015-2019
Publications (10 Years): 4

Top Topics

Model Based Testing

Energy Consumption

Mobile Applications

Functional Properties

Top Venues

Mob. Inf. Syst.

Softw. Test. Verification Reliab.

Publications

Ana Rosario Espada, María-del-Mar Gallardo, Alberto Salmerón, Laura Panizo, Pedro Merino
A formal approach to automatically analyse extra-functional properties in mobile applications. Softw. Test. Verification Reliab. 29 (4-5) (2019)
Ana Rosario Espada, María-del-Mar Gallardo, Alberto Salmerón, Pedro Merino
Performance Analysis of Spotify® for Android with Model-Based Testing. Mob. Inf. Syst. 2017 (2017)
Ana Rosario Espada, María-del-Mar Gallardo, Alberto Salmerón, Pedro Merino
Using Model Checking to Generate Test Cases for Android Applications. MBT (2015)
Ana Rosario Espada, María-del-Mar Gallardo, Alberto Salmerón, Pedro Merino
Runtime Verification of Expected Energy Consumption in Smartphones. SPIN (2015)