Failover and takeover contingency mechanisms for network partition and node failure. - Macías López; Laura M. Castro; David Cabrero (Erlang Workshop, 2012)

Declarative distributed advertisement system for iDTV: an industrial experience. - Macías López; Laura M. Castro; David Cabrero (PPDP, 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)

Feasibility of Property-Based Testing for Time-Dependent Systems. - Macías López; Laura M. Castro; David Cabrero (EUROCAST (2), 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)