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 | 57 | 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 | 26 | 2015 |
Managing the risks of risk management LM Castro, VM Gulías, C Abalde, JS Jorge Journal of Decision Systems 17 (4), 501-521, 2008 | 22 | 2008 |
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 | 20 | 2013 |
Testing Data Consistency of Data-Intensive Applications Using QuickCheck LM Castro, T Arts Electronic Notes in Theoretical Computer Science 271, 41-62, 2011 | 20 | 2011 |
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 | 18 | 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 | 15 | 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 | 14 | 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 | 12 | 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 | 11 | 2006 |
Advanced management of data integrity: property-based testing for business rules LM Castro Journal of Intelligent Information Systems 44 (3), 355-380, 2015 | 10 | 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 | 9 | 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 | 8 | 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 | 8 | 2013 |
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 | 7 | 2020 |
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 | 7 | 2013 |
A practical methodology for integration testing LM Castro, MA Francisco, VM Gulías International Conference on Computer Aided Systems Theory, 881-888, 2009 | 7 | 2009 |
Testing integration of applications with QuickCheck LM Castro, MA Francisco, VM Gulías Proceedings of 12th Twelve International Conference on Computer Aided …, 2009 | 6 | 2009 |
How Software Architects Learn: A pilot study of their learning style in Kolb’s Learning Styles Inventory M Hidalgo, H Astudillo, LM Castro 2023 42nd IEEE International Conference of the Chilean Computer Science …, 2023 | 5 | 2023 |
Making property-based testing easier to read for humans LM Castro, P Lamela, S Thompson Computing & Informatics 35 (4), 890-913, 2016 | 5 | 2016 |