Segui
Mercedes G. Merayo
Mercedes G. Merayo
Associate Professor of Computer Science, Universidad Complutense de Madrid
Email verificata su fdi.ucm.es
Titolo
Citata da
Citata da
Anno
Formal testing from timed finite state machines
MG Merayo, M Núñez, I Rodríguez
Computer networks 52 (2), 432-460, 2008
1372008
Mutation testing from probabilistic and stochastic finite state machines
RM Hierons, MG Merayo
Journal of Systems and Software 82 (11), 1804-1818, 2009
782009
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
742008
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
572023
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
512009
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
492008
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
International Workshop on Formal Approaches to Software Testing, 200-215, 2008
462008
Implementation relations for the distributed test architecture
RM Hierons, MG Merayo, M Núnez
Testing of software and communicating systems, 200-215, 2008
462008
Passive testing of timed systems
C Andrés, MG Merayo, M Núñez
Automated Technology for Verification and Analysis: 6th International …, 2008
412008
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
402018
Implementation relations and test generation for systems with distributed interfaces
RM Hierons, MG Merayo, M Núñez
Distributed Computing 25 (1), 35-62, 2012
402012
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
322018
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
312013
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
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
302023
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
282018
Passive testing with asynchronous communications and timestamps
MG Merayo, RM Hierons, M Núñez
Distributed Computing 31, 327-342, 2018
262018
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
252021
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20