Follow
Laura M. Castro
Title
Cited by
Cited by
Year
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
572008
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
262015
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
202013
Testing Data Consistency of Data-Intensive Applications Using QuickCheck
LM Castro, T Arts
Electronic Notes in Theoretical Computer Science 271, 41-62, 2011
192011
Managing the risks of risk management
LM Castro, VM Gulías, C Abalde, JS Jorge
Journal of Decision Systems 17 (4), 501-521, 2008
182008
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
172004
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
152003
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
142012
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
112013
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
112006
Advanced management of data integrity: property-based testing for business rules
LM Castro
Journal of Intelligent Information Systems 44 (3), 355-380, 2015
92015
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
92005
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
82018
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
82013
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
72013
A practical methodology for integration testing
LM Castro, MA Francisco, VM Gulías
International Conference on Computer Aided Systems Theory, 881-888, 2009
72009
Making property-based testing easier to read for humans
LM Castro, P Lamela, S Thompson
Computing & Informatics 35 (4), 890-913, 2016
52016
Testing integration of applications with QuickCheck
LM Castro, MA Francisco, VM Gulías
Proceedings of 12th Twelve International Conference on Computer Aided …, 2009
52009
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
52008
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
42020
The system can't perform the operation now. Try again later.
Articles 1–20