A Practical Methodology for Integration Testing. - Laura M. Castro; Miguel A. Francisco; Víctor M. Gulías (EUROCAST, 2009)

Property driven development in Erlang, by example. - Samuel Rivas; Miguel Angel Francisco; Víctor M. Gulías (AST, 2010)

Automatic generation of test models and properties from UML models with OCL constraints. - Miguel A. Francisco; Laura M. Castro (OCL@MoDELS, 2012)

Turning web services descriptions into quickcheck models for automatic testing. - Miguel A. Francisco; Macías López; Henrique Ferreiro; Laura M. Castro (Erlang Workshop, 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 (ICSOC, 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)

Automating property-based testing of evolving web services. - Huiqing Li; Simon J. Thompson; Pablo Lamela Seijas; Miguel Angel Francisco (PEPM, 2014)

Model extraction and test generation from JUnit test suites. - Pablo Lamela Seijas; Simon J. Thompson; Miguel Angel Francisco (Softw. Qual. J., 2018)