Seguir
Mercedes G. Merayo
Mercedes G. Merayo
Associate Professor of Computer Science, Universidad Complutense de Madrid
Dirección de correo verificada de fdi.ucm.es
Título
Citado por
Citado por
Año
Formal testing from timed finite state machines
MG Merayo, M Núñez, I Rodríguez
Computer networks 52 (2), 432-460, 2008
1322008
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
772008
Mutation testing from probabilistic and stochastic finite state machines
RM Hierons, MG Merayo
Journal of Systems and Software 82 (11), 1804-1818, 2009
722009
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
512008
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
492009
Mutation testing from probabilistic finite state machines
RM Hierons, MG Merayo
Testing: Academic and Industrial Conference Practice and Research Techniques …, 2007
472007
Implementation relations for the distributed test architecture
RM Hierons, MG Merayo, M Núnez
Testing of software and communicating systems, 200-215, 2008
442008
Implementation relations for the distributed test architecture
RM Hierons, MG Merayo, M Núnez
Testing of software and communicating systems, 200-215, 2008
442008
Passive testing of timed systems
C Andrés, MG Merayo, M Núñez
International Symposium on Automated Technology for Verification and …, 2008
422008
Implementation relations and test generation for systems with distributed interfaces
RM Hierons, MG Merayo, M Núñez
Distributed Computing 25 (1), 35-62, 2012
382012
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
372018
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
362012
Using genetic algorithms to generate test sequences for complex timed systems
A Núñez, MG Merayo, RM Hierons, M Núñez
Soft Computing 17 (2), 301-315, 2013
312013
Bounded reordering in the distributed test architecture
RM Hierons, MG Merayo, M Núnez
IEEE Transactions on Reliability 67 (2), 522-537, 2018
302018
Controllable test cases for the distributed test architecture
RM Hierons, MG Merayo, M Núñez
International Symposium on Automated Technology for Verification and …, 2008
272008
Passive testing with asynchronous communications and timestamps
MG Merayo, RM Hierons, M Núñez
Distributed Computing 31 (5), 327-342, 2018
262018
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
252018
Aiding test case generation in temporally constrained state based systems using genetic algorithms
K Derderian, MG Merayo, RM Hierons, M Núnez
International Work-Conference on Artificial Neural Networks, 327-334, 2009
222009
Using time to add order to distributed testing
RM Hierons, MG Merayo, M Núnez
International Symposium on Formal Methods, 232-246, 2012
212012
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
202018
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20