Estatísticas para Desenvolvimento de uma biblioteca para geração automática de casos de teste com algoritmos genéticos