Macías López

According to our database, Macías López authored at least 5 papers between 2012 and 2013.

Collaborative distances:

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

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

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

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

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