E-Prints Complutense

García Merayo, Mercedes and Hierons, Robert M. and Núñez García, Manuel (2008) Extending Stream X-Machines to specify and test systems with timeouts. In SEFM 2008: Sixth IEEE International Conference on Software Engineering and Formal Methods, Proceedings. IEEE Computer Soc, LOS ALAMITOS, pp. 201-210. ISBN 978-0-7695-3437-4

García Merayo, Mercedes and Nuñez García, Manuel and Hierons, Robert M. (2012) Implementation relations and test generation for systems with distributed interfaces. Distributed Computing, 25 (1). pp. 35-62. ISSN 0178-2770

García Merayo, Mercedes and Hierons, Robert M. (2009) Mutation testing from probabilistic and stochastic finite state machines. Journal of Systems and Software, 82 (11 ). 1804-1818 . ISSN 0164-1212

García Merayo, Mercedes and Nuñez García, Manuel and Hierons, Robert M. (2011) Scenarios-based testing of systems with distributed ports. Software: Practice and Experience, 41 (10 ). pp. 999-1026. ISSN 0038-0644

García Merayo, Mercedes and Nuñez García, Manuel and Hierons, Robert M. (2011) Testing timed systems modeled by Stream X-machines. Software and Systems Modeling , 10 ( 2 ). p. 201. ISSN 1619-1366

Núñez, Alberto and García Merayo, Mercedes and Hierons, Robert M. and Núñez García, Manuel (2013) Using genetic algorithms to generate test sequences for complex timed systems. Soft Computing, 17 (2). pp. 301-315. ISSN 1432-7643