A questão toda se reduz a: eu preciso ter um gerador/provider capaz de gerar algo válido ou inválido de forma determinística e replicável (para servir de regression depois). Para questões matemáticas e primitivas, ou funções puras até vai, mas a medida que o estado cresce, dificulta...

Aí nessa linha, o jqwik (jqwik.net/docs/current...www.instancio.org/user-guide/#...) dão várias facilidades. Ainda assim, você precisa saber o que deixar ser gerado dinamicamente, o que limitar e o que remover. Por exemplo, lista de erros não existiria em objetos válidos.