Test Generation from Bounded Algebraic Specifications using Alloy. - Francisco Rebello de Andrade; João Pascoal Faria; Ana C. R. Paiva (ICSOFT (2), 2011)

Specification-Driven Unit Test Generation for Java Generic Classes. - Francisco Rebello de Andrade; João Pascoal Faria; Antónia Lopes; Ana C. R. Paiva (IFM, 2012)