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
1272008
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
732008
Mutation testing from probabilistic and stochastic finite state machines
RM Hierons, MG Merayo
Journal of Systems and Software 82 (11), 1804-1818, 2009
712009
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
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
472008
Mutation testing from probabilistic finite state machines
RM Hierons, MG Merayo
Testing: Academic and Industrial Conference Practice and Research Techniques …, 2007
452007
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
412008
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
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
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
292018
Bounded reordering in the distributed test architecture
RM Hierons, MG Merayo, M Núnez
IEEE Transactions on Reliability 67 (2), 522-537, 2018
272018
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
272013
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
232018
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
212018
Using time to add order to distributed testing
RM Hierons, MG Merayo, M Núnez
International Symposium on Formal Methods, 232-246, 2012
212012
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
202009
Timed implementation relations for the distributed test architecture
RM Hierons, MG Merayo, M Núñez
Distributed Computing 27 (3), 181-201, 2014
192014
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20