Ana Rosario Espada

According to our database, Ana Rosario Espada authored at least 4 papers between 2015 and 2019.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2019

A formal approach to automatically analyse extra-functional properties in mobile applications.

Ana Rosario Espada, María-del-Mar Gallardo, Alberto Salmerón, Laura Panizo, Pedro Merino

Softw. Test. Verification Reliab., 2019

2017

Performance Analysis of Spotify® for Android with Model-Based Testing.

Ana Rosario Espada, María-del-Mar Gallardo, Alberto Salmerón, Pedro Merino

Mob. Inf. Syst., 2017

2015

Using Model Checking to Generate Test Cases for Android Applications.

Ana Rosario Espada, María-del-Mar Gallardo, Alberto Salmerón, Pedro Merino

Proceedings of the Proceedings Tenth Workshop on Model Based Testing, 2015

Runtime Verification of Expected Energy Consumption in Smartphones.

Ana Rosario Espada, María-del-Mar Gallardo, Alberto Salmerón, Pedro Merino

Proceedings of the Model Checking Software - 22nd International Symposium, 2015