Teste baseado em Modelo de Aplicações orientadas a Serviço: Estudos Experimentais ...
Investigação de teste baseado em máquinas de estados finitos aplicado a serviços web
Projeto e implementação de interface Web baseada em React para a ferramenta DSLMod...
Projeto e implementação de um módulo de anotações de persistência para a ferrament...