| Turning web services descriptions into quickcheck models for automatic testing MA Francisco, M López, H Ferreiro, LM Castro Proceedings of the twelfth ACM SIGPLAN workshop on Erlang, 79-86, 2013 | 20 | 2013 |
| Automatic Generation of Test Models for Web Services Using WSDL and OCL M López, H Ferreiro, MA Francisco, LM Castro Service-Oriented Computing, 483-490, 2013 | 12 | 2013 |
| A DSL for Web Services Automatic Test Data Generation M López, H Ferreiro, LM Castro, T Arts Draft Proceedings of the 25th International Symposium on Implementation and …, 2013 | 7 | 2013 |
| Feasibility of Property-Based Testing for Time-Dependent Systems M López, LM Castro, D Cabrero Computer Aided Systems Theory-EUROCAST 2013, 527-535, 2013 | 4 | 2013 |
| Failover and takeover contingency mechanisms for network partition and node failure M López, LM Castro, D Cabrero Proceedings of the eleventh ACM SIGPLAN workshop on Erlang workshop, 51-60, 2012 | 3 | 2012 |
| Validación de tiempos de respuesta usando pruebas basadas en propiedades M López, LM Castro Proceedings of 14th Spanish Conference on Programming and Languages (PROLE …, 2014 | 2 | 2014 |
| Automatización de Pruebas para Servicios Web: Generación de Propiedades y Modelos M López, H Ferreiro, MA Francisco, LM Castro Proceedings of 13th Spanish Conference on Programming and Languages (PROLE …, 2013 | 2 | 2013 |
| Declarative distributed advertisement system for iDTV: an industrial experience M López, LM Castro, D Cabrero Proceedings of the 14th symposium on Principles and practice of declarative …, 2012 | 1 | 2012 |
Laura M. CastroProfessor of Computer Science, Universidade da CoruñaE-mail confirmado em udc.es