Validação de aplicações para cidades inteligentes: uma abordagem baseada em defeitos
Definição de um Framework para Avaliação Sistemática de Técnicas de Teste no Conte...
Infraestrutura para a correção automática de software baseada em busca de código: ...
Injeção de falhas por software utilizando reflexão computacional
Provisão de mecanismos automatizados para o teste de mutação de programas Java e A...
Evolução e avaliação de técnicas de teste e de busca de código-fonte no desenvolvi...