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: 10.

García Merayo, Mercedes y Andrés Sánchez, César y Molinero Brizuela, Carlos (2009) Advantages of mutation in passive testing: An empirical study. ICSTW 2009: IEEE International Conference on Software Testing, Verification, and Validation Workshops . 230-239 .

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 . 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 Andrés Sánchez, César y Núñez García, Manuel (2009) Formal correctness of a passive testing approach for timed systems. In ICSTW 2009: IEEE International Conference on Software Testing, Verification, and Validation Workshops. IEEE Comp Soc, LOS ALAMITOS. ISBN 978-0-7695-3671-2

Andrés Sánchez, César y García Merayo, Mercedes y Núñez , M. (2012) Formal passive testing of timed systems: theory and tools. Software testing verification & reliability, 22 (6). pp. 365-405. ISSN 0960-0833

García Merayo, Mercedes y Andrés Sánchez, César y Zhang, Yaofeng (2010) MACRO-SYS: An Interactive Macroeconomics Simulator for Advanced Learning. Intelligent Information and Database Systems,Pt II, Proceedings. , 5991 . 47-56 . ISSN 0302-9743

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 Andrés Sánchez, César y Núñez García, Manuel (2008) Passive Testing of Timed Systems. In Automated Technology for Verification and Analysis. Lecture Notes in Computer Science (5311). SPRINGER-VERLAG BERLIN, Berlín, pp. 418-427. ISBN 978-3-540-88386-9

Andrés Sánchez, César (2010) Testing activo y pasivo de sistemas con información temporal y probabilística. [Tesis Doctoral]

Andrés Sánchez, César (2008) Two quantitative extensions to perform formal testing of timed systems. [Trabajo Fin de Máster]

Esta lista fue generada el Tue Dec 6 02:50:15 2016 CET.