Definição de um Framework para Avaliação Sistemática de Técnicas de Teste no Conte...
Avaliação da Efetividade dos Critérios de Teste Estruturais no Contexto de Program...
Aplicando o modelo de teste estrutural para programas concorrentes em Java
Estudo e Implementação de Mecanismos para Determinação de Elementos não Executávei...
Avaliação experimental extensiva de propriedades de custo e efetividade de critéri...