Laura M. Castro
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
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
Testing Data Consistency of Data-Intensive Applications Using QuickCheck
LM Castro, T Arts
Electronic Notes in Theoretical Computer Science 271, 41-62, 2011
Managing the risks of risk management
LM Castro, VM Gulías, C Abalde, JS Jorge
Journal of Decision Systems 17 (4), 501-521, 2008
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
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
Automatic generation of test models for web services using WSDL and OCL
M López, H Ferreiro, MA Francisco, LM Castro
Service-Oriented Computing: 11th International Conference, ICSOC 2013 …, 2013
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
Advanced management of data integrity: property-based testing for business rules
LM Castro
Journal of Intelligent Information Systems 44 (3), 355-380, 2015
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
Automatic generating algorithm of rewriting logic specification for multi-agent system models based on Petri nets
A Boucherit, A Khababa, LM Castro
Multiagent and Grid Systems 14 (4), 403-418, 2018
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
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
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
Testing integration of applications with QuickCheck
LM Castro, MA Francisco, VM Gulías
Proceedings of 12th Twelve International Conference on Computer Aided …, 2009
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
Petri net and rewriting logic based formal analysis of multi-agent based safety-critical systems
A Boucherit, LM Castro, A Khababa, O Hasan
Multiagent and Grid Systems 16 (1), 47-66, 2020
The system can't perform the operation now. Try again later.
Articles 1–20