Miguel Angel Francisco

Publication Activity (10 Years)

Years Active: 2010-2018
Publications (10 Years): 2

Top Topics

Test Generation

Top Venues

Softw. Qual. J.

Publications

Pablo Lamela Seijas, Simon J. Thompson, Miguel Angel Francisco
Model extraction and test generation from JUnit test suites. Softw. Qual. J. 26 (4) (2018)
Pablo Lamela Seijas, Simon J. Thompson, Miguel Angel Francisco
Model extraction and test generation from JUnit test suites. AST@ICSE (2016)
Huiqing Li, Simon J. Thompson, Pablo Lamela Seijas, Miguel Angel Francisco
Automating property-based testing of evolving web services. PEPM (2014)
Samuel Rivas, Miguel Angel Francisco, Víctor M. Gulías
Property driven development in Erlang, by example. AST (2010)