( en | de | ru )

 

Disambiguation of "Castro, Laura M."

Author of the publication

copydeleteadd this publication to your clipboard
A Practical Methodology for Integration Testing.

, , and . EUROCAST, volume 5717 of Lecture Notes in Computer Science, page 881-888. Springer, (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Mario Laura

Marco Laurati

Rafael von M Martínez Castro

William Castro

Susana Castro

 

Other publications of authors with the same name

Certificación de Propiedades Usando Distintos Probadores de Teoremas: Un Caso de Estudio., , and . JIISIC, page 27-34. Facultad de Ciencias e Ingeniería and Departamento de Ingeniería, Pontificia Universidad Católica del Perú, (2007)Verification of Program Properties Using Different Theorem Provers: A Case Study., , and . EUROCAST, volume 4739 of Lecture Notes in Computer Science, page 233-240. Springer, (2007)Everybody Rock Your Equity: Experiences of Organizing a Women in Computing Event with Role Models for Diversity and Inclusion., , , , , , and . I3E Workshops, volume 573 of IFIP Advances in Information and Communication Technology, page 5-16. Springer, (2019)Turning web services descriptions into quickcheck models for automatic testing., , , and . Erlang Workshop, page 79-86. ACM, (2013)Efficient Discovery of Widely Distributed and Non-volatile Resources on DHTs., , and . ICIW, page 370-376. IEEE Computer Society, (2008)Elixir-Powered Low-Income Animal Shelter Support: An Experience Report from Conception to Production., and . Erlang, page 96-107. ACM, (2024)A Practical Methodology for Integration Testing., , and . EUROCAST, volume 5717 of Lecture Notes in Computer Science, page 881-888. Springer, (2009)Teaching the next generation of software architects: a gender-focused survey on worldwide curricula.. ECSA (Companion), page 14:1-14:4. ACM, (2018)Automatic generation of UML sequence diagrams from test counterexamples., and . Erlang Workshop, page 58-59. ACM, (2016)On modelling agent systems with Erlang., , , and . Erlang Workshop, page 65-70. ACM, (2004)