Seq generateType(Class c):
  Si t es primitivo
    retornar random
  Else
    Elegir aleatoriamente entre
      1) Retornar null
      2.1) Elegir M del catalog algo que retorne C (puede ser constructor o metodo M).
      2.2) Retornar generate(M)


Seq generate(Executable M):
  seqret = {}
  For each parametro T de M:
      If no existe secuencia en Archive que retorne T
        seq := generateType(T)
        agrego seq al archive
      Endif
      Elijo seq que retorna T del Archive
      Agrego seq a seqret
  EndFor
  Agrego la invocacion a M al final de seqret
  retorno seqret