Miguel Angel Francisco

According to our database, Miguel Angel Francisco authored at least 8 papers between 2009 and 2018.

Collaborative distances:

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

2018

Model extraction and test generation from JUnit test suites.

Pablo Lamela Seijas, Simon J. Thompson, Miguel Angel Francisco

Softw. Qual. J., 2018

2014

Automating property-based testing of evolving web services.

Huiqing Li, Simon J. Thompson, Pablo Lamela Seijas, Miguel Angel Francisco

Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and program manipulation, 2014

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

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

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

Automatic generation of test models and properties from UML models with OCL constraints.

Miguel A. Francisco, Laura M. Castro

Proceedings of the 12th Workshop on OCL and Textual Modelling, 2012

2010

Property driven development in Erlang, by example.

Samuel Rivas, Miguel Angel Francisco, Víctor M. Gulías

Proceedings of the 5th Workshop on Automation of Software Test, 2010

2009

A Practical Methodology for Integration Testing.

Laura M. Castro, Miguel A. Francisco, Víctor M. Gulías

Proceedings of the Computer Aided Systems Theory, 2009