Fuzz testing with QuickCheck

I’m doing QuickCheck property testing, and I want to invert things a bit: Given some minimal valid example, randomly permute fields, to make sure they fail and confirm that all the checks are being run.

  1. Is there any library/research to help with this?
  2. What would be the easiest approach?

You might find this useful: GitHub - NorfairKing/validity: Validity and validity-based testing

This recently went 1.0 and is quite powerful - CS SYD - Announcing genvalidity-1.0.0.0