Alberto Salmerón

17 papers B 1Misc 1Journal 7Unranked 8
YearRankTypeTitle / Venue / Authors
2019 J jnl
A formal approach to automatically analyse extra-functional properties in mobile applications.
Softw. Test. Verification Reliab.
Ana Rosario Espada, María-del-Mar Gallardo, Alberto Salmerón, Laura Panizo, Pedro Merino
2018 J jnl
Integrating river basin DSSs with model checking.
Int. J. Softw. Tools Technol. Transf.
María-del-Mar Gallardo, Pedro Merino, Laura Panizo, Alberto Salmerón
2017 — conf
Adding Correctness Checking to Test Automation Platform.
ISSRE Workshops
Alberto Salmerón, Leticia Lavado, María-del-Mar Gallardo, Pedro Merino Gómez
2017 B conf
Advanced testing of mobile applications and devices.
IM
Almudena Díaz-Zayas, Alberto Salmerón, F. Javier Rivas Tocado, Pedro Merino
2017 — conf
Guided test case generation for mobile apps in the TRIANGLE project: work in progress.
SPIN
Laura Panizo, Alberto Salmerón, María-del-Mar Gallardo, Pedro Merino
2017 J jnl
Performance Analysis of Spotify® for Android with Model-Based Testing.
Mob. Inf. Syst.
Ana Rosario Espada, María-del-Mar Gallardo, Alberto Salmerón, Pedro Merino
2016 — conf
An end-to-end testing ecosystem for 5G.
EuCNC
Andrea F. Cattoni, Germán Corrales Madueño, Michael Dieudonne, Pedro Merino, Almudena Díaz-Zayas, Alberto Salmerón, Frederik Carlier, Bart Saint Germain, Donal Morris, Ricardo Figueiredo, Jeanne Caffrey, Janie Baños Polglase, Carlos Cárdenas, Niall Roche, Alastair Moore
2016 — conf
River Basin Management with Spin.
SPIN
María-del-Mar Gallardo, Pedro Merino, Laura Panizo, Alberto Salmerón
2015 J jnl
Integrating model checking and simulation for protocol optimization.
Simul.
Alberto Salmerón, Pedro Merino
2015 — conf
Runtime Verification of Expected Energy Consumption in Smartphones.
SPIN
Ana Rosario Espada, María-del-Mar Gallardo, Alberto Salmerón, Pedro Merino
2015 — conf
Using Model Checking to Generate Test Cases for Android Applications.
MBT
Ana Rosario Espada, María-del-Mar Gallardo, Alberto Salmerón, Pedro Merino
2014 J jnl
Using SPIN for automated debugging of infinite executions of Java programs.
J. Syst. Softw.
Damián Adalid, Alberto Salmerón, María-del-Mar Gallardo, Pedro Merino
2013 — conf
On-the-fly VoIP call quality evaluation with improved E-model.
PM2HW2N@MSWiM
Alberto Salmerón, Pedro Merino
2011 J jnl
Obtaining Models for Realistic Mobile Network Simulations using Real Traces.
IEEE Commun. Lett.
Almudena Díaz, Pedro Merino, Alberto Salmerón
2010 — conf
Combining SPIN with ns-2 for Protocol Optimization.
SPIN
Pedro Merino, Alberto Salmerón
2009 J jnl
UML-Based Model-Driven Development for HSDPA Design.
IEEE Softw.
Jesús Martínez, Pedro Merino, Alberto Salmerón, Francisco Malpartida
2007 Misc conf
Applying MDE Methodologies to Design Communication Protocols for Distributed Systems.
CISIS
Jesús Martínez, Pedro Merino, Alberto Salmerón