Complutense University Library

IndexAuthor

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Number of items: 7.

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

Hierons, Robert M. and García Merayo, Mercedes and Nuñez García, Manuel (2009) Testing from a stochastic timed system with a fault model. Journal of Logic and Algebraic Programming , 78 (2). pp. 98-115. ISSN 1567-8326

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

This list was generated on Tue Oct 21 03:02:21 2014 CEST.