Geração automática de dados de teste para cobrir caminhos dependentes de exceção u...
Subsídios para a Aplicação de Métodos de Geração de Casos de Testes Baseados em Má...
Avaliação de metodologias e procedimentos para ensaios de modelos de sistemas de p...
Definição de um Framework para Avaliação Sistemática de Técnicas de Teste no Conte...
Avaliacao de custo e eficacia de metodos de testes de maquinas de estados finitos.
Teste estrutural de integração contextual (Nível N) de programas orientados a obje...