Proposta de um Novo Método Estatístico para Geração de Conjuntos de Teste com uma Dada Probabilidade de Cobertura. (Orientação conjunta com E. A. Schmitz) Documento