Francisco Rebello de Andrade

Publication Activity (10 Years)

Years Active: 2011-2012
Publications (10 Years): 0

Top Topics

Symbolic Execution

Mutation Testing

Test Generation

Top Venues

Publications

Francisco Rebello de Andrade, João Pascoal Faria, Antónia Lopes, Ana C. R. Paiva
Specification-Driven Unit Test Generation for Java Generic Classes. IFM (2012)
Francisco Rebello de Andrade, João Pascoal Faria, Ana C. R. Paiva
Test Generation from Bounded Algebraic Specifications using Alloy. ICSOFT (2) (2011)