Complutense University Library

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 Andrés Sánchez, César and 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 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 . 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 Andrés Sánchez, César and 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 and García Merayo, Mercedes and 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 and Andrés Sánchez, César and 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 and Nuñez García, Manuel and Andrés Sánchez, César 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 Andrés Sánchez, César and 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. [Thesis]

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

This list was generated on Fri Oct 31 03:17:43 2014 CET.