Laura M. Castro

According to our database, Laura M. Castro authored at least 45 papers between 2003 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

A Galician Corpus for Misogyny Detection Online.

Lucía M. Álvarez-Crespo, Laura M. Castro

Proceedings of the 16th International Conference on Computational Processing of Portuguese, 2024

2023

How Software Architects Learn: A pilot study of their learning style in Kolb's Learning Styles Inventory.

Mauricio Hidalgo, Hernán Astudillo, Laura M. Castro

Proceedings of the 42nd IEEE International Conference of the Chilean Computer Science Society, 2023

Role-playing software architecture styles.

Laura M. Castro

Proceedings of the 20th International Conference on Software Architecture, 2023

Challenges to Use Role Playing in Software Engineering Education: A Rapid Review.

Mauricio Hidalgo, Hernán Astudillo, Laura M. Castro

Proceedings of the Applied Informatics - 6th International Conference, 2023

2021

Towards a hybrid formal analysis technique for safety-critical software architectures.

Ammar Boucherit, Laura M. Castro, Osman Hasan, Abdallah Khababa

Int. J. Crit. Comput. Based Syst., 2021

Detecting oxbow code in Erlang codebases with the highest degree of certainty.

Fernando Benavides Rodríguez, Laura M. Castro

Proceedings of the 20th ACM SIGPLAN International Workshop on Erlang, 2021

2020

Petri net and rewriting logic based formal analysis of multi-agent based safety-critical systems.

Ammar Boucherit, Laura M. Castro, Abdallah Khababa, Osman Hasan

Multiagent Grid Syst., 2020

It was never about the language: paradigm impact on software design decisions.

Laura M. Castro

CoRR, 2020

2019

Everybody Rock Your Equity: Experiences of Organizing a Women in Computing Event with Role Models for Diversity and Inclusion.

Virginia Grande, Clara Benac Earle, Cristina Manresa-Yee, Elena Gómez-Martínez, Laura M. Castro, Patricia Pons, Raúl Corobán

Proceedings of the Digital Transformation for a Sustainable Society in the 21st Century, 2019

Validation of SDN policies: a property-based testing perspective.

Laura M. Castro, Nicolae Paladi

Proceedings of the 10th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2019) / The 9th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH-2019) / Affiliated Workshops, 2019

2018

Automatic generating algorithm of rewriting logic specification for multi-agent system models based on Petri nets.

Ammar Boucherit, Abdallah Khababa, Laura M. Castro

Multiagent Grid Syst., 2018

Towards the Formal Development of Software Based Systems: Access Control System as a Case Study.

Ammar Boucherit, Laura M. Castro, Abdallah Khababa, Osman Hasan

Inf. Technol. Control., 2018

Teaching the next generation of software architects: a gender-focused survey on worldwide curricula.

Laura M. Castro

Proceedings of the 12th European Conference on Software Architecture: Companion Proceedings, 2018

2016

Making Property-Based Testing Easier to Read for Humans.

Laura M. Castro, Pablo Lamela, Simon Thompson

Comput. Informatics, 2016

Making everybody comfortable with Erlang: a SCADA system for thermal control.

Laura M. Castro, J. Daniel Fernández, Carlos López Pampín

Proceedings of the 15th International Workshop on Erlang, 2016

Automatic generation of UML sequence diagrams from test counterexamples.

Daniel Carballa, Laura M. Castro

Proceedings of the 15th International Workshop on Erlang, 2016

Kindergarten cop: dynamic nursery resizing for GHC.

Henrique Ferreiro, Laura M. Castro, Vladimir Janjic, Kevin Hammond

Proceedings of the 25th International Conference on Compiler Construction, 2016

2015

Assessing the effects of introducing a new software development process: a methodological description.

Agneta Nilsson, Laura M. Castro, Samuel Rivas, Thomas Arts

Int. J. Softw. Tools Technol. Transf., 2015

Advanced management of data integrity: property-based testing for business rules.

Laura M. Castro

J. Intell. Inf. Syst., 2015

Sitting Property-Based Testing at the Desktop.

Laura M. Castro

Proceedings of the Computer Aided Systems Theory - EUROCAST 2015, 2015

2013

A language-independent approach to black-box testing using Erlang as test specification language.

Laura M. Castro, Miguel A. Francisco

J. Syst. Softw., 2013

<i>Building Web Applications with Erlang</i>, by Zachary Kessin, O'Reilly Media, Inc., 2012, ISBN 97-81-4493-20652.

Laura M. Castro

J. Funct. Program., 2013

Automatic Generation of Test Models for Web Services Using WSDL and OCL.

Macías López, Henrique Ferreiro, Miguel A. Francisco, Laura M. Castro

Proceedings of the Service-Oriented Computing - 11th International Conference, 2013

Feasibility of Property-Based Testing for Time-Dependent Systems.

Macías López, Laura M. Castro, David Cabrero

Proceedings of the Computer Aided Systems Theory - EUROCAST 2013, 2013

Business Operation Improvement through Integrated Infrastructure Management.

Alberto Casanova, Laura M. Castro, Antonio Blanco Ferro

Proceedings of the Computer Aided Systems Theory - EUROCAST 2013, 2013

Turning web services descriptions into quickcheck models for automatic testing.

Miguel A. Francisco, Macías López, Henrique Ferreiro, Laura M. Castro

Proceedings of the Twelfth ACM SIGPLAN Erlang Workshop, 2013

2012

Repeating History: Execution Replay for Parallel Haskell Programs.

Henrique Ferreiro, Vladimir Janjic, Laura M. Castro, Kevin Hammond

Proceedings of the Trends in Functional Programming - 13th International Symposium, 2012

Declarative distributed advertisement system for iDTV: an industrial experience.

Macías López, Laura M. Castro, David Cabrero

Proceedings of the Principles and Practice of Declarative Programming, 2012

Automatic generation of test models and properties from UML models with OCL constraints.

Miguel A. Francisco, Laura M. Castro

Proceedings of the 12th Workshop on OCL and Textual Modelling, 2012

Failover and takeover contingency mechanisms for network partition and node failure.

Macías López, Laura M. Castro, David Cabrero

Proceedings of the Eleventh ACM SIGPLAN Erlang Workshop, 2012

2011

Model-based testing of data types with side effects.

Thomas Arts, Laura M. Castro

Proceedings of the 10th ACM SIGPLAN workshop on Erlang, Tokyo, Japan, September 23, 2011, 2011

2010

Testing Data Consistency of Data-Intensive Applications Using QuickCheck.

Laura M. Castro, Thomas Arts

Proceedings of the Tenth Spanish Conference on Programming and Languages, 2010

2009

A Practical Methodology for Integration Testing.

Laura M. Castro, Miguel A. Francisco, Víctor M. Gulías

Proceedings of the Computer Aided Systems Theory, 2009

2008

Managing the Risks of Risk Management.

Laura M. Castro, Víctor M. Gulías, Carlos Abalde, J. Santiago Jorge

J. Decis. Syst., 2008

Efficient Discovery of Widely Distributed and Non-volatile Resources on DHTs.

Carlos Abalde, Víctor M. Gulías, Laura M. Castro

Proceedings of the Third International Conference on Internet and Web Applications and Services, 2008

Testing Erlang data types with quviq quickcheck.

Thomas Arts, Laura M. Castro, John Hughes

Proceedings of the 7th ACM SIGPLAN workshop on ERLANG, 2008

Using Coq to Prove Properties of the Cache Level of a Functional Video-on-Demand Server.

J. Santiago Jorge, Víctor M. Gulías, Laura M. Castro

Proceedings of the Intelligent Computer Mathematics, 9th International Conference, 2008

2007

Erlang/OTP Framework for Complex Management Applications Development.

Carlos Abalde, Víctor M. Gulías, Laura M. Castro, Carlos Varela, J. Santiago Jorge

Proceedings of the WEBIST 2007, 2007

Certificación de Propiedades Usando Distintos Probadores de Teoremas: Un Caso de Estudio.

J. Santiago Jorge, Víctor M. Gulías, Laura M. Castro

Proceedings of the VI Jornadas Iberoamericanas de Ingeniería del Software e Ingeniería del Conocimiento-JIISIC'07, 2007

Extending the VoDKA Architecture with P2P Aggregated Content Management.

Carlos Abalde, Víctor M. Gulías, Laura M. Castro

Proceedings of the 12th IEEE Symposium on Computers and Communications (ISCC 2007), 2007

Verification of Program Properties Using Different Theorem Provers: A Case Study.

J. Santiago Jorge, Víctor M. Gulías, Laura M. Castro

Proceedings of the Computer Aided Systems Theory, 2007

Towards a Decentralized and Structured Network of P2P Public Information Screens.

Carlos Abalde, Víctor M. Gulías, Laura M. Castro

Proceedings of the Computer Aided Systems Theory, 2007

2006

Formalisation of a Functional Risk Management System.

Víctor M. Gulías, Carlos Abalde, Laura M. Castro, Carlos Varela

Proceedings of the ICEIS 2006, 2006

2004

On modelling agent systems with Erlang.

Carlos Varela, Carlos Abalde, Laura M. Castro, Jose Gulías

Proceedings of the 2004 ACM SIGPLAN Workshop on Erlang, 2004

2003

ARMISTICE: an experience developing management software with Erlang.

David Cabrero, Carlos Abalde, Carlos Varela, Laura M. Castro

Proceedings of the 2003 ACM SIGPLAN Workshop on Erlang, Uppsala, Sweden, August 29, 2003, 2003