Universidad Complutense de Madrid
E-Prints Complutense

IndexAuthor

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

García Merayo, Mercedes and Hwang, Iksoon and Nuñez García, Manuel and 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 and Frantzen, Lars and 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. and Higashino, Teruo and 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 and Andrés Sánchez, César and Maag, Stéphane and Cavalli, Ana and 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 and Andrés Sánchez, César and 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 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 Nuñez García, Manuel and 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 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

This list was generated on Sat May 25 15:47:22 2019 CEST.