[Loq]

Indeed, what bqmjjx0kac proposes, is orthogonal to fuzzing (which is an algorithmic technique to drive test-coverage), and an instance of defining, and dynamically checking a property.

Apropos: https://blog.regehr.org/archives/1687

[bqmjjx0kac]

I consider coverage-guided fuzzing with property checks to be a degenerate form of property-based testing à la Haskell's QuickCheck.

Defining custom mutators (e.g libprotobuf-mutator) is sort of like implementing the Arbitrary typeclass if you squint.

I admit, this might be where the similarities end :)