Fuzzing vs. Property Testing

One of the observations I made awhile back about property testing (especially imperative) code was that assertions in the code under test were extremely synergistic with property testing. You’re doing property testing when you’re also spending time describing the space of inputs that should be generated, to accelerate the test running. I’d like to describe two very practical (and sometimes quite magical) techniques you can employ with property testing to improve code and test quality.

Source: www.tedinski.com