publicações selecionadas Comparação de Métodos de Otimização Global para Geração Automática de Dados para Teste de Software