Követés
Mercedes G. Merayo
Mercedes G. Merayo
Associate Professor of Computer Science, Universidad Complutense de Madrid
E-mail megerősítve itt: fdi.ucm.es
Cím
Hivatkozott rá
Hivatkozott rá
Év
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
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–20