| Using model checking to generate test cases for android applications AR Espada, MM Gallardo, A Salmerón, P Merino arXiv preprint arXiv:1504.02440, 2015 | 27 | 2015 |
| An end-to-end testing ecosystem for 5G AF Cattoni, GC Madueño, M Dieudonne, P Merino, AD Zayas, A Salmeron, ... 2016 European Conference on Networks and Communications (EuCNC), 307-312, 2016 | 23 | 2016 |
| Performance Analysis of Spotify® for Android with Model‐Based Testing AR Espada, MM Gallardo, A Salmerón, P Merino Mobile Information Systems 2017 (1), 2012696, 2017 | 22 | 2017 |
| Using SPIN for automated debugging of infinite executions of Java programs D Adalid, A Salmerón, M del Mar Gallardo, P Merino Journal of Systems and Software 90, 61-75, 2014 | 18 | 2014 |
| Runtime verification of expected energy consumption in smartphones AR Espada, M del Mar Gallardo, A Salmerón, P Merino International SPIN Workshop on Model Checking of Software, 132-149, 2015 | 16 | 2015 |
| Applying MDE methodologies to design communication protocols for distributed systems J Martinez, P Merino, A Salmerón Complex, Intelligent and Software Intensive Systems, 2007. CISIS 2007. First …, 2007 | 12 | 2007 |
| Integrating model checking and simulation for protocol optimization A Salmerón, P Merino Simulation 91 (1), 3-25, 2015 | 11 | 2015 |
| Obtaining models for realistic mobile network simulations using real traces A Diaz, P Merino, A Salmeron IEEE Communications Letters 15 (7), 782-784, 2011 | 11 | 2011 |
| Guided test case generation for mobile apps in the TRIANGLE project: work in progress L Panizo, A Salmerón, MM Gallardo, P Merino Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model …, 2017 | 10 | 2017 |
| A formal approach to automatically analyse extra‐functional properties in mobile applications A Rosario Espada, M del Mar Gallardo, A Salmerón, L Panizo, P Merino Software Testing, Verification and Reliability 29 (4-5), e1699, 2019 | 9 | 2019 |
| Combining SPIN with ns-2 for protocol optimization P Merino, A Salmerón International SPIN Workshop on Model Checking of Software, 40-57, 2010 | 8 | 2010 |
| An end-to-end testing ecosystem for 5G the TRIANGLE testing house test bed AF Cattoni, GC Madueño, M Dieudonne, P Merino, AD Zayas, A Salmeron, ... Journal of Green Engineering 6 (3), 285-316, 2016 | 7 | 2016 |
| UML-Based Model-Driven Development for HSDPA Design J Martínez, P Merino, A Salmerón, F Malpartida IEEE software 26 (3), 26-33, 2009 | 6 | 2009 |
| River basin management with Spin⋆ MM Gallardo, P Merino, L Panizo, A Salmerón International Symposium on Model Checking Software, 2016, 2016 | 5 | 2016 |
| Integrating river basin DSSs with model checking M del Mar Gallardo, P Merino, L Panizo, A Salmerón International Journal on Software Tools for Technology Transfer 20, 499-514, 2018 | 2 | 2018 |
| Advanced testing of mobile applications and devices AD Zayas, A Salmerón, FJR Tocado, P Merino 2017 IFIP/IEEE Symposium on Integrated Network and Service Management (IM …, 2017 | 2 | 2017 |
| On-the-fly VoIP call quality evaluation with improved E-model A Salmerón, P Merino Proceedings of the 8th ACM workshop on Performance monitoring and …, 2013 | 2 | 2013 |
| Triangle: 5G Applications and Devices Benchmarking AD Zayas, A Salmerón, P Merino, AF Cattoni, GC Madueno, M Diedonne, ... Building the Future Internet through FIRE, 561-572, 2022 | 1 | 2022 |
| River basin management with Spin M del Mar Gallardo, P Merino, L Panizo, A Salmerón | 1 | 2016 |
| Testing temporal logic on infinite Java traces D Adalid, A Salmerón, M del Mar Gallardo, P Merino International Workshop on Modelling, Simulation, Verification and Validation …, 2012 | 1 | 2012 |
Pedro MerinoUniversidad de Zaragoza在 unizar.es 的电子邮件经过验证
