Laura M. Castro
Laura M. Castro
Associate Professor of Computer Science, Universidade da Coruña
Verified email at - Homepage
Cited by
Cited by
Testing Erlang data types with quviq quickcheck
T Arts, LM Castro, J Hughes
Proceedings of the 7th ACM SIGPLAN workshop on ERLANG, 1-8, 2008
Assessing the effects of introducing a new software development process: a methodological description
A Nilsson, LM Castro, S Rivas, T Arts
International Journal on Software Tools for Technology Transfer 17 (1), 1-16, 2015
On modelling agent systems with Erlang
C Varela, C Abalde, L Castro, J Gulías
Proceedings of the 2004 ACM SIGPLAN workshop on Erlang, 65-70, 2004
Testing Data Consistency of Data-Intensive Applications Using QuickCheck
LM Castro, T Arts
Electronic Notes in Theoretical Computer Science 271, 41-62, 2011
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
ARMISTICE: an experience developing management software with Erlang
D Cabrero, C Abalde, C Varela, L Castro
Proceedings of the 2003 ACM SIGPLAN workshop on Erlang, 23-28, 2003
Automatic Generation of Test Models and Properties from UML Models with OCL Constraints
MA Francisco, LM Castro
OCL 2012: Workshop on OCL and Textual Modelling (co-located with MODELS 2012), 2012
Formalisation of a Functional Risk Management System.
VM Gulías, C Abalde, LM Castro, C Varela
Proceedings of 8th International Conference on Enterprise Information …, 2006
Automatic Generation of Test Models for Web Services Using WSDL and OCL
M López, H Ferreiro, MA Francisco, LM Castro
International Conference on Service-Oriented Computing, 483-490, 2013
A new risk management approach deployed over a client/server distributed functional architecture
VM Gulfas, C Abalde, LM Castro, C Varela
18th International Conference on Systems Engineering (ICSEng'05), 370-375, 2005
Advanced management of data integrity: property-based testing for business rules
LM Castro
Journal of Intelligent Information Systems 44 (3), 355-380, 2015
A DSL for Web Services Automatic Test Data Generation
M López, H Ferreiro, L Castro, T Arts
Draft Proceedings of the 25th International Symposium on Implementation and …, 2013
Managing the Risks of Risk Management
LM Castro, VM Gulías, C Abalde, J Santiago Jorge
Journal of Decision Systems 17 (4), 501-521, 2008
A language-independent approach to black-box testing using Erlang as test specification language
LM Castro, MA Francisco
Journal of Systems and Software 86 (12), 3109-3122, 2013
Uso de propiedades y modelos para las pruebas de sistemas distribuidos basados en la integración de componentes heterogéneos
MA Francisco, LM Castro
A practical methodology for integration testing
LM Castro, MA Francisco, VM Gulías
International Conference on Computer Aided Systems Theory, 881-888, 2009
Making property-based testing easier to read for humans
LM Castro, P Lamela, S Thompson
Computing & Informatics 35 (4), 890-913, 2016
Efficient discovery of widely distributed and non-volatile resources on DHTs
C Abalde, VM Gulías, LM Castro
2008 Third International Conference on Internet and Web Applications and …, 2008
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
WikinformáticA: visibilización del papel de la mujer en las nuevas tecnologías y promoción de la ingeniería en informática entre las estudiantes de secundaria
S Ramos, S Ladra, A Freire, V Bolón-Canedo, B Remeseiro, JM Andión, ...
Actas de las XXI Jornadas de la Enseñanza Universitaria de la Informática …, 2015
The system can't perform the operation now. Try again later.
Articles 1–20