Subsídios para a Aplicação de Métodos de Geração de Casos de Testes Baseados em Má...
Avaliacao de custo e eficacia de metodos de testes de maquinas de estados finitos.
Implementação de um módulo para a seleção de casos de teste para a ferramenta Plav...
Investigação de Melhorias em Métodos de Geração de Casos de Teste a partir de Modelos
Sistemas de transição de entrada/saída: apoio para a geração de casos de teste
Investigação de teste baseado em máquinas de estados finitos aplicado a serviços web