Miguel A. Francisco

Publication Activity (10 Years)

Years Active: 2009-2013
Publications (10 Years): 0

Top Topics

Specification Language

Top Venues

J. Syst. Softw.

Erlang Workshop

Publications

Laura M. Castro, Miguel A. Francisco
A language-independent approach to black-box testing using Erlang as test specification language. J. Syst. Softw. 86 (12) (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)
Miguel A. Francisco, Laura M. Castro
Automatic generation of test models and properties from UML models with OCL constraints. OCL@MoDELS (2012)
Laura M. Castro, Miguel A. Francisco, Víctor M. Gulías
A Practical Methodology for Integration Testing. EUROCAST (2009)