Runtime Verification of Expected Energy Consumption in Smartphones. - Ana Rosario Espada; María-del-Mar Gallardo; Alberto Salmerón; Pedro Merino 001 (SPIN, 2015)

Using Model Checking to Generate Test Cases for Android Applications. - Ana Rosario Espada; María-del-Mar Gallardo; Alberto Salmerón; Pedro Merino 001 (MBT, 2015)

Performance Analysis of Spotify® for Android with Model-Based Testing. - Ana Rosario Espada; María-del-Mar Gallardo; Alberto Salmerón; Pedro Merino 001 (Mob. Inf. Syst., 2017)

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 001 (Softw. Test. Verification Reliab., 2019)