Biblioteca de la Universidad Complutense de Madrid

Consultar por Autor

Subir un nivel
Exportar como [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Número de eprints: 7.

García Merayo, Mercedes y Hierons, Robert M. y 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 y Nuñez García, Manuel y 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 y 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 y Nuñez García, Manuel y 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. y García Merayo, Mercedes y 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 y Nuñez García, Manuel y 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 y García Merayo, Mercedes y Hierons, Robert M. y 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

Esta lista fue generada el Tue Dec 6 02:35:41 2016 CET.