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
532008
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
232015
Testing Data Consistency of Data-Intensive Applications Using QuickCheck
LM Castro, T Arts
Electronic Notes in Theoretical Computer Science 271, 41-62, 2011
182011
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
182004
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
172013
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
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
122008
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
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
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
Advanced management of data integrity: property-based testing for business rules
LM Castro
Journal of Intelligent Information Systems 44 (3), 355-380, 2015
82015
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
82013
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
72018
A practical methodology for integration testing
LM Castro, MA Francisco, VM Gulías
International Conference on Computer Aided Systems Theory, 881-888, 2009
72009
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
Making property-based testing easier to read for humans
LM Castro, P Lamela, S Thompson
Computing & Informatics 35 (4), 890-913, 2016
42016
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
42015
The system can't perform the operation now. Try again later.
Articles 1–20