Login / Signup
Macías López
Publication Activity (10 Years)
Years Active: 2012-2013
Publications (10 Years): 0
Top Topics
Component Failures
Industrial Applications
Centrality Measures
Conceptual Models
Top Venues
Erlang Workshop
ICSOC
EUROCAST (2)
PPDP
</>
Publications
</>
Macías López
,
Laura M. Castro
,
David Cabrero
Feasibility of Property-Based Testing for Time-Dependent Systems.
EUROCAST (2)
(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)
Macías López
,
Laura M. Castro
,
David Cabrero
Declarative distributed advertisement system for iDTV: an industrial experience.
PPDP
(2012)
Macías López
,
Laura M. Castro
,
David Cabrero
Failover and takeover contingency mechanisms for network partition and node failure.
Erlang Workshop
(2012)