área de pesquisa
- Bruno Teixeira de Abreu
- Caroline Dall' Agnol
- Cleyton Vanut Cordeiro de Magalhães
- Paula Aida Sesini
- REACTOR: Combining Static Analysis, Testing and Reverse Engineering to Detect Software Defects
- Singularity: Um Método para Geração Automática de Casos de Testes Unitários baseado em Contraexemplos de Verificador de Modelos para Aplicações em C++
- Um Algoritmo para Geração de Casos de Teste Combinatorial via Matriz de Cobertura com Níveis Variados
- Valdivino Alexandre de Santiago Júnior