área de pesquisa Henrique Eduardo Goulart Integração de Ferramentas Automáticas de Teste e Diagnóstico