Follow
Mercedes G. Merayo
Mercedes G. Merayo
Associate Professor of Computer Science, Universidad Complutense de Madrid
Verified email at fdi.ucm.es
Title
Cited by
Cited by
Year
Formal testing from timed finite state machines
MG Merayo, M Núñez, I Rodríguez
Computer networks 52 (2), 432-460, 2008
1412008
Mutation testing from probabilistic and stochastic finite state machines
RM Hierons, MG Merayo
Journal of Systems and Software 82 (11), 1804-1818, 2009
802009
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
792023
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
782008
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
532009
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
532008
Mutation testing from probabilistic finite state machines
RM Hierons, MG Merayo
Testing: Academic and Industrial Conference Practice and Research Techniques …, 2007
482007
Implementation relations for the distributed test architecture
RM Hierons, MG Merayo, M Núnez
Testing of software and communicating systems, 200-215, 2008
472008
Passive testing of timed systems
C Andrés, MG Merayo, M Núñez
Automated Technology for Verification and Analysis: 6th International …, 2008
432008
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
422018
Implementation relations and test generation for systems with distributed interfaces
RM Hierons, MG Merayo, M Núñez
Distributed Computing 25 (1), 35-62, 2012
412012
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
392023
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
372012
Bounded reordering in the distributed test architecture
RM Hierons, MG Merayo, M Núnez
IEEE Transactions on Reliability 67 (2), 522-537, 2018
342018
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
322013
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
312018
Controllable test cases for the distributed test architecture
RM Hierons, MG Merayo, M Núñez
International Symposium on Automated Technology for Verification and …, 2008
312008
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
282021
Passive testing with asynchronous communications and timestamps
MG Merayo, RM Hierons, M Núñez
Distributed Computing 31, 327-342, 2018
282018
Aiding test case generation in temporally constrained state based systems using genetic algorithms
K Derderian, MG Merayo, RM Hierons, M Núnez
Bio-Inspired Systems: Computational and Ambient Intelligence: 10th …, 2009
232009
The system can't perform the operation now. Try again later.
Articles 1–20