| Formal testing from timed finite state machines MG Merayo, M Núñez, I Rodríguez Computer networks 52 (2), 432-460, 2008 | 141 | 2008 |
| Mutation testing from probabilistic and stochastic finite state machines RM Hierons, MG Merayo Journal of Systems and Software 82 (11), 1804-1818, 2009 | 79 | 2009 |
| Extending EFSMs to specify and test timed systems with action durations and time-outs M Merayo, M Núñez, I Rodríguez IEEE Transactions on Computers 57 (6), 835-844, 2008 | 77 | 2008 |
| Machine learning algorithms to forecast air quality: a survey M Méndez, MG Merayo, M Núñez Artificial Intelligence Review 56 (9), 10031-10066, 2023 | 62 | 2023 |
| Testing from a stochastic timed system with a fault model RM Hierons, MG Merayo, M Núnez The Journal of Logic and Algebraic Programming 78 (2), 98-115, 2009 | 53 | 2009 |
| HOTL: Hypotheses and observations testing logic I Rodríguez, MG Merayo, M Núñez The Journal of Logic and Algebraic Programming 74 (2), 57-93, 2008 | 53 | 2008 |
| Mutation testing from probabilistic finite state machines RM Hierons, MG Merayo Testing: Academic and Industrial Conference Practice and Research Techniques …, 2007 | 48 | 2007 |
| Implementation relations for the distributed test architecture RM Hierons, MG Merayo, M Núnez International Workshop on Formal Approaches to Software Testing, 200-215, 2008 | 47 | 2008 |
| Implementation relations for the distributed test architecture RM Hierons, MG Merayo, M Núnez Testing of software and communicating systems, 200-215, 2008 | 47 | 2008 |
| Passive testing of timed systems C Andrés, MG Merayo, M Núñez Automated Technology for Verification and Analysis: 6th International …, 2008 | 43 | 2008 |
| A tool for domain-independent model mutation P Gómez-Abajo, E Guerra, J de Lara, MG Merayo Science of Computer Programming 163, 85-92, 2018 | 41 | 2018 |
| Implementation relations and test generation for systems with distributed interfaces RM Hierons, MG Merayo, M Núñez Distributed Computing 25 (1), 35-62, 2012 | 41 | 2012 |
| Formal passive testing of timed systems: Theory and tools C Andrés, MG Merayo, M Núnez Software Testing, Verification and Reliability 22 (6), 365-405, 2012 | 37 | 2012 |
| Bounded reordering in the distributed test architecture RM Hierons, MG Merayo, M Núnez IEEE Transactions on Reliability 67 (2), 522-537, 2018 | 34 | 2018 |
| Long-term traffic flow forecasting using a hybrid CNN-BiLSTM model M Méndez, MG Merayo, M Núñez Engineering Applications of Artificial Intelligence 121, 106041, 2023 | 32 | 2023 |
| Using genetic algorithms to generate test sequences for complex timed systems A Núñez, MG Merayo, RM Hierons, M Núñez Soft Computing 17, 301-315, 2013 | 32 | 2013 |
| Controllable test cases for the distributed test architecture RM Hierons, MG Merayo, M Núñez International Symposium on Automated Technology for Verification and …, 2008 | 31 | 2008 |
| Mutomvo: Mutation testing framework for simulated cloud and HPC environments PC Cañizares, A Núñez, MG Merayo Journal of Systems and Software 143, 187-207, 2018 | 30 | 2018 |
| Passive testing with asynchronous communications and timestamps MG Merayo, RM Hierons, M Núñez Distributed Computing 31, 327-342, 2018 | 27 | 2018 |
| Wodel-Test: a model-based framework for language-independent mutation testing P Gómez-Abajo, E Guerra, J Lara, MG Merayo Software and Systems Modeling 20, 767-793, 2021 | 26 | 2021 |
Robert HieronsProfessor, The University of SheffieldDirección de correo verificada de sheffield.ac.uk
