4 ms·
Indeed, what bqmjjx0kac proposes, is orthogonal to fuzzing (which is an algorithmic technique to drive test-coverage), and an instance of defining, and dynamica
by Loq 3y ago
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 https://blog.regehr.org/archives/1687
- bqmjjx0kac 3y agoI 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 :)