João Alexandre Baptista Vieira Saraiva
AuthID: R-000-6R4
1
TÃTULO: The Green Side of the Lua
AUTORES: André Brandão; Diogo Matos; Miguel Guimarães; Simão Cunha; João Saraiva;
PUBLICAÇÃO: 2026, FONTE: CoRR, VOLUME: abs/2601.16670
AUTORES: André Brandão; Diogo Matos; Miguel Guimarães; Simão Cunha; João Saraiva;
PUBLICAÇÃO: 2026, FONTE: CoRR, VOLUME: abs/2601.16670
INDEXADO EM: 
DBLP
DBLP NO MEU: DBLP
DBLP2
TÃTULO: Uma abordagem para a geração de casos de teste baseada em modelos. A Model-based Approach for Test Cases Generation
AUTORES: João C Silva; José L C Silva; Campos, J. Creissac ; João A Saraiva;
PUBLICAÇÃO: 2013
AUTORES: João C Silva; José L C Silva; Campos, J. Creissac ; João A Saraiva;
PUBLICAÇÃO: 2013
INDEXADO EM: 
Handle
Handle