Laura M. Castro

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 21

Top Topics

Software Engineering Education

Top Venues

Erlang Workshop

Multiagent Grid Syst.

Inf. Technol. Control.

Publications

Carla Rodríguez Estévez, Laura M. Castro
Elixir-Powered Low-Income Animal Shelter Support: An Experience Report from Conception to Production. Erlang (2024)
Mauricio Hidalgo, Hernán Astudillo, Laura M. Castro
Challenges to Applying Role Playing in Software Engineering Education: A Taxonomy Derived from a Rapid Literature Review. SN Comput. Sci. 5 (6) (2024)
Lucía M. Álvarez-Crespo, Laura M. Castro
A Galician Corpus for Misogyny Detection Online. PROPOR (2024)
Laura M. Castro
Role-playing software architecture styles. ICSA-C (2023)
Mauricio Hidalgo, Hernán Astudillo, Laura M. Castro
Challenges to Use Role Playing in Software Engineering Education: A Rapid Review. ICAI (2023)
Laura M. Castro
Role-playing software architecture styles. CoRR (2023)
Mauricio Hidalgo, Hernán Astudillo, Laura M. Castro
How Software Architects Learn: A pilot study of their learning style in Kolb's Learning Styles Inventory. SCCC (2023)
Fernando Benavides Rodríguez, Laura M. Castro
Detecting Oxbow Code in Erlang Codebases with the Highest Degree of Certainty. CoRR (2021)
Ammar Boucherit, Laura M. Castro, Osman Hasan, Abdallah Khababa
Towards a hybrid formal analysis technique for safety-critical software architectures. Int. J. Crit. Comput. Based Syst. 10 (2) (2021)
Fernando Benavides Rodríguez, Laura M. Castro
Detecting oxbow code in Erlang codebases with the highest degree of certainty. Erlang Workshop (2021)
Laura M. Castro
It was never about the language: paradigm impact on software design decisions. CoRR (2020)
Ammar Boucherit, Laura M. Castro, Abdallah Khababa, Osman Hasan
Petri net and rewriting logic based formal analysis of multi-agent based safety-critical systems. Multiagent Grid Syst. 16 (1) (2020)
Laura M. Castro, Nicolae Paladi
Validation of SDN policies: a property-based testing perspective. EUSPN/ICTH (2019)
Virginia Grande, Clara Benac Earle, Cristina Manresa-Yee, Elena Gómez-Martínez, Laura M. Castro, Patricia Pons, Raúl Corobán
Everybody Rock Your Equity: Experiences of Organizing a Women in Computing Event with Role Models for Diversity and Inclusion. I3E Workshops (2019)
Laura M. Castro
Teaching the next generation of software architects: a gender-focused survey on worldwide curricula. ECSA (Companion) (2018)
Ammar Boucherit, Abdallah Khababa, Laura M. Castro
Automatic generating algorithm of rewriting logic specification for multi-agent system models based on Petri nets. Multiagent Grid Syst. 14 (4) (2018)
Ammar Boucherit, Laura M. Castro, Abdallah Khababa, Osman Hasan
Towards the Formal Development of Software Based Systems: Access Control System as a Case Study. Inf. Technol. Control. 47 (3) (2018)
Laura M. Castro, Pablo Lamela, S. Thompson
Making Property-Based Testing Easier to Read for Humans. Comput. Informatics 35 (4) (2016)
Daniel Carballa, Laura M. Castro
Automatic generation of UML sequence diagrams from test counterexamples. Erlang Workshop (2016)
Henrique Ferreiro, Laura M. Castro, Vladimir Janjic, Kevin Hammond
Kindergarten cop: dynamic nursery resizing for GHC. CC (2016)
Laura M. Castro, J. Daniel Fernández, Carlos López Pampín
Making everybody comfortable with Erlang: a SCADA system for thermal control. Erlang Workshop (2016)
Agneta Nilsson, Laura M. Castro, Samuel Rivas, Thomas Arts
Assessing the effects of introducing a new software development process: a methodological description. Int. J. Softw. Tools Technol. Transf. 17 (1) (2015)
Laura M. Castro
Sitting Property-Based Testing at the Desktop. EUROCAST (2015)
Laura M. Castro
Advanced management of data integrity: property-based testing for business rules. J. Intell. Inf. Syst. 44 (3) (2015)
Macías López, Laura M. Castro, David Cabrero
Feasibility of Property-Based Testing for Time-Dependent Systems. EUROCAST (2) (2013)
Alberto Casanova, Laura M. Castro, Antonio Blanco Ferro
Business Operation Improvement through Integrated Infrastructure Management. EUROCAST (1) (2013)
Laura M. Castro, Miguel A. Francisco
A language-independent approach to black-box testing using Erlang as test specification language. J. Syst. Softw. 86 (12) (2013)
Macías López, Henrique Ferreiro, Miguel A. Francisco, Laura M. Castro
Automatic Generation of Test Models for Web Services Using WSDL and OCL. ICSOC (2013)
Miguel A. Francisco, Macías López, Henrique Ferreiro, Laura M. Castro
Turning web services descriptions into quickcheck models for automatic testing. Erlang Workshop (2013)
Laura M. Castro
, by Zachary Kessin, O'Reilly Media, Inc., 2012, ISBN 97-81-4493-20652. J. Funct. Program. 23 (2) (2013)
Macías López, Laura M. Castro, David Cabrero
Declarative distributed advertisement system for iDTV: an industrial experience. PPDP (2012)
Miguel A. Francisco, Laura M. Castro
Automatic generation of test models and properties from UML models with OCL constraints. OCL@MoDELS (2012)
Macías López, Laura M. Castro, David Cabrero
Failover and takeover contingency mechanisms for network partition and node failure. Erlang Workshop (2012)
Henrique Ferreiro, Vladimir Janjic, Laura M. Castro, Kevin Hammond
Repeating History: Execution Replay for Parallel Haskell Programs. Trends in Functional Programming (2012)
Thomas Arts, Laura M. Castro
Model-based testing of data types with side effects. Erlang Workshop (2011)
Laura M. Castro, Thomas Arts
Testing Data Consistency of Data-Intensive Applications Using QuickCheck. Electron. Notes Theor. Comput. Sci. 271 (2011)
Laura M. Castro, Miguel A. Francisco, Víctor M. Gulías
A Practical Methodology for Integration Testing. EUROCAST (2009)
Laura M. Castro, Víctor M. Gulías, Carlos Abalde, J. Santiago Jorge
Managing the Risks of Risk Management. J. Decis. Syst. 17 (4) (2008)
Carlos Abalde, Víctor M. Gulías, Laura M. Castro
Efficient Discovery of Widely Distributed and Non-volatile Resources on DHTs. ICIW (2008)
J. Santiago Jorge, Víctor M. Gulías, Laura M. Castro
Using Coq to Prove Properties of the Cache Level of a Functional Video-on-Demand Server. AISC/MKM/Calculemus (2008)
Thomas Arts, Laura M. Castro, John Hughes
Testing Erlang data types with quviq quickcheck. Erlang Workshop (2008)
Carlos Abalde, Víctor M. Gulías, Laura M. Castro, Carlos Varela, J. Santiago Jorge
Erlang/OTP Framework for Complex Management Applications Development. WEBIST (1) (2007)
Carlos Abalde, Víctor M. Gulías, Laura M. Castro
Towards a Decentralized and Structured Network of P2P Public Information Screens. EUROCAST (2007)
J. Santiago Jorge, Víctor M. Gulías, Laura M. Castro
Verification of Program Properties Using Different Theorem Provers: A Case Study. EUROCAST (2007)
J. Santiago Jorge, Víctor M. Gulías, Laura M. Castro
Certificación de Propiedades Usando Distintos Probadores de Teoremas: Un Caso de Estudio. JIISIC (2007)
Carlos Abalde, Víctor M. Gulías, Laura M. Castro
Extending the VoDKA Architecture with P2P Aggregated Content Management. ISCC (2007)
Víctor M. Gulías, Carlos Abalde, Laura M. Castro, Carlos Varela
Formalisation of a Functional Risk Management System. ICEIS (3) (2006)
Carlos Varela, Carlos Abalde, Laura M. Castro, Jose Gulías
On modelling agent systems with Erlang. Erlang Workshop (2004)
David Cabrero, Carlos Abalde, Carlos Varela, Laura M. Castro
ARMISTICE: an experience developing management software with Erlang. Erlang Workshop (2003)