QuickCheck gives you a mechanism for a form of unit testing where you build valid values as test cases and test that your code maintains specific expected prope

QuickCheck gives you a mechanism for a form of unit testing where you build valid values as test cases and test that your code maintains specific expected properties. Fuzzing is similar but typically involves starting from a known-good input then randomising it at the byte level (irrespective of validity). This project allows for property testing-like unit tests, but tools like american fuzzy lop focus on detecting whole application crashes.