"Returns a value, without crashing/throwing-an-exception" can be a good property to test, and that's essentially fuzzing. This is especially useful for codebas

"Returns a value, without crashing/throwing-an-exception" can be a good property to test, and that's essentially fuzzing. This is especially useful for codebases with a lot of assertions (e.g. to capture relationships that are too awkward to rule out using type-checks)