Estudo e Implementação de Mecanismos para Determinação de Elementos não Executávei...
Definição de um Framework para Avaliação Sistemática de Técnicas de Teste no Conte...
Estudo e desenvolvimento de técnicas de teste de software e suas aplicações
Avaliação de um novo modelo de teste estrutural para programas concorrentes
Uma contribuição ao ensino de teste de programas concorrentes
Estudo e aplicação de técnicas de programação concorrente para otimização do Web S...