Estatísticas para Um mapeamento sistemático sobre a geração de casos de teste para sistemas de transição com entrada e saída.