João Alexandre Baptista Vieira Saraiva
AuthID: R-000-6R4
1
TITLE: The Green Side of the Lua
AUTHORS: André Brandão; Diogo Matos; Miguel Guimarães; Simão Cunha; João Saraiva;
PUBLISHED: 2026, SOURCE: CoRR, VOLUME: abs/2601.16670
AUTHORS: André Brandão; Diogo Matos; Miguel Guimarães; Simão Cunha; João Saraiva;
PUBLISHED: 2026, SOURCE: CoRR, VOLUME: abs/2601.16670
INDEXED IN: 
DBLP
DBLP IN MY: DBLP
DBLP2
TITLE: Uma abordagem para a geração de casos de teste baseada em modelos. A Model-based Approach for Test Cases Generation
AUTHORS: João C Silva; José L C Silva; Campos, J. Creissac ; João A Saraiva;
PUBLISHED: 2013
AUTHORS: João C Silva; José L C Silva; Campos, J. Creissac ; João A Saraiva;
PUBLISHED: 2013
INDEXED IN: 
Handle
Handle