Universidad Complutense de Madrid
E-Prints Complutense

Consultar por Autor

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

García Merayo, Mercedes y Hwang, Iksoon y Nuñez García, Manuel y Cavalli, Ana (2009) A Statistical Approach to Test Stochastic and Probabilistic Systems. Formal methods and software engineering proceedings, 5885 . pp. 186-205. ISSN 0302-9743

García Merayo, Mercedes y Frantzen, Lars y Nuñez García, Manuel (2009) A brief history of A-MOST Special Issue containing selected papers from A-MOST 2008. Journal of Logic and Algebraic Programming, 78 (6). pp. 417-424. ISSN 1567-8326

Cavalli, Ana R. y Higashino, Teruo y Nuñez García, Manuel (2015) A survey on formal active and passive testing with applications to the cloud. Annals of Telecommunications, 70 (3-4). pp. 85-93. ISSN 0003-4347

García Merayo, Mercedes y Andrés Sánchez, César y Maag, Stéphane y Cavalli, Ana y Nuñez García, Manuel (2009) Analysis of the OLSR Protocol by Using Formal Passive Testing. APSEC '09 Proceedings of the 2009 16th Asia-Pacific Software Engineering Conference . pp. 152-159. ISSN 1530-1362

García Merayo, Mercedes y Andrés Sánchez, César y Nuñez García, Manuel (2009) Applying formal passive testing to study temporal properties of the Stream Control Transmission Protocol. In SEFM 2009: Seventh International Conference on Software Engineering and Formal Methods. IEEE Computer Soc, LOS ALAMITOS, pp. 73-82. ISBN 978-0-7695-3870-9

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 Nuñez García, Manuel y Andrés Sánchez, César (2009) Passive Testing of Stochastic Timed Systems. Second International Conference on Software Testing, Verification, and Validation, Proceedings . pp. 71-80. ISSN 978-1-4244-3775-7

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

Esta lista fue generada el Tue Mar 19 16:49:36 2019 CET.