Gerar código em massa HUnit e Quickcheck automaticamente
