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
1422008
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
932023
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
812008
Mutation testing from probabilistic and stochastic finite state machines
RM Hierons, MG Merayo
Journal of Systems and Software 82 (11), 1804-1818, 2009
782009
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
542009
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
532023
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
452008
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
412018
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
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
382012
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
Passive testing with asynchronous communications and timestamps
MG Merayo, RM Hierons, M Núñez
Distributed Computing 31, 327-342, 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
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
302018
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
A tool supported methodology to passively test asynchronous systems with multiple users
MG Merayo, RM Hierons, M Núñez
Information and Software Technology 104, 162-178, 2018
232018
The system can't perform the operation now. Try again later.
Articles 1–20