Avaliação da Efetividade dos Critérios de Teste Estruturais no Contexto de Program...
Definição de um Framework para Avaliação Sistemática de Técnicas de Teste no Conte...
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 de um novo modelo de teste estrutural para programas concorrentes