Integrating river basin DSSs with model checking
del Mar Gallardo, María, Merino, Pedro, Panizo, Laura, Salmerón, Alberto
Published in International journal on software tools for technology transfer (01.10.2018)
Published in International journal on software tools for technology transfer (01.10.2018)
Get full text
Journal Article
Using SPIN for automated debugging of infinite executions of Java programs
Adalid, Damián, Salmerón, Alberto, Gallardo, María del Mar, Merino, Pedro
Published in The Journal of systems and software (01.04.2014)
Published in The Journal of systems and software (01.04.2014)
Get full text
Journal Article
Performance Analysis of Spotify® for Android with Model-Based Testing
Merino, Pedro, Salmerón, Alberto, Gallardo, María del Mar, Espada, Ana Rosario
Published in Mobile information systems (01.01.2017)
Published in Mobile information systems (01.01.2017)
Get full text
Journal Article
Advanced testing of mobile applications and devices
Zayas, Almudena Diaz, Salmeron, Alberto, Rivas Tocado, F. Javier, Merino, Pedro
Published in 2017 IFIP/IEEE Symposium on Integrated Network and Service Management (IM) (01.05.2017)
Published in 2017 IFIP/IEEE Symposium on Integrated Network and Service Management (IM) (01.05.2017)
Get full text
Conference Proceeding
River Basin Management with Spin
Gallardo, María-del-Mar, Merino, Pedro, Panizo, Laura, Salmerón, Alberto
Published in Model Checking Software (2016)
Published in Model Checking Software (2016)
Get full text
Book Chapter
Triangle: 5G Applications and Devices Benchmarking
Zayas, Almudena Díaz, Salmerón, Alberto, Merino, Pedro, Cattoni, Andrea F., Madueno, Germán Corrales, Diedonne, Michael, Carlier, Frederik, Germain, Bart Saint, Morris, Donald, Figueiredo, Ricardo, Caffrey, Jeanne, Baños, Janie, Cárdenas, Carlos, Roche, Niall, Moore, Alastair
Published in Building the Future Internet through FIRE (2017)
Published in Building the Future Internet through FIRE (2017)
Get full text
Book Chapter
Using Model Checking to Generate Test Cases for Android Applications
Ana Rosario Espada, María del Mar Gallardo, Salmerón, Alberto, Merino, Pedro
Published in arXiv.org (09.04.2015)
Published in arXiv.org (09.04.2015)
Get full text
Paper
Journal Article
Adding Correctness Checking to Test Automation Platform
Salmeron, Alberto, Lavado, Leticia, Gallardo, Maria-del-Mar, Merino, Pedro
Published in 2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) (01.10.2017)
Published in 2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) (01.10.2017)
Get full text
Conference Proceeding
An end-to-end testing ecosystem for 5G
Cattoni, Andrea F., Corrales Madueno, German, Dieudonne, Michael, Merino, Pedro, Diaz Zayas, Almudena, Salmeron, Alberto, Carlier, Frederik, Saint Germain, Bart, Morris, Donald, Figueiredo, Ricardo, Caffrey, Jeanne, Banos, Janie, Cardenas, Carlos, Roche, Niall, Moore, Alastair
Published in 2016 European Conference on Networks and Communications (EuCNC) (01.06.2016)
Published in 2016 European Conference on Networks and Communications (EuCNC) (01.06.2016)
Get full text
Conference Proceeding