| 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 | 18 | 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. LCNS 8274, 483-490, 2013 | 11 | 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 |
| Kindergarten Cop: dynamic nursery resizing for GHC H Ferreiro, L Castro, V Janjic, K Hammond Proceedings of the 25th International Conference on Compiler Construction, 56-66, 2016 | 4 | 2016 |
| Automatización de Pruebas para Servicios Web: Generación de Propiedades y Modelos M López, H Ferreiro, MA Francisco, LM Castro XIII Jornadas sobre Programación y Lenguajes (PROLE 2013), 61-75, 2013 | 2 | 2013 |
| Repeating History: Execution Replay for Parallel Haskell Programs H Ferreiro, V Janjic, LM Castro, K Hammond Trends in Functional Programming. LNCS 7829, 231-246, 2013 | 2 | 2013 |
| Resource Discovery Approach to Support a QoS-aware DHT-Based Caching Architecture D Castro, VM Gulías, H Ferreiro, C Abalde 2009 First International Conference on Emerging Network Intelligence, 21-26, 2009 | 1 | 2009 |
| Implementing memory reuse in the Utrecht Haskell compiler H Ferreiro, D Castro, VM Gulías, A Dijkstra I Taller de Programación Funcional (TPF'09), 39-46, 2009 | 1 | 2009 |
| Profiling of parallel programs in a non-strict functional language H Ferreiro University of A Coruna, 2015 | | 2015 |
Laura M. CastroProfessor of Computer Science, Universidade da CoruñaVerified email at udc.es
