So just a quick glance-over on libfuzzer, it appears to be a test-library that offers a mix of property-checks but also with intentionally malformed data injection that results in a probablistic assertion?
I'll answer my own question as I've just looked over Google's fuzztest and my hot-take seems to be mostly accurate:
"It is a first-of-its-kind tool that bridges the gap between fuzzing and property-based testing, as it is both:
i. a testing framework with a rich API (akin to property-based testing libraries), and ii. a coverage-guided fuzzing engine (akin to AFL or libFuzzer)."
@ze
I'll answer my own question as I've just looked over Google's fuzztest and my hot-take seems to be mostly accurate:
"It is a first-of-its-kind tool that bridges the gap between fuzzing and property-based testing, as it is both:
i. a testing framework with a rich API (akin to property-based testing libraries), and
ii. a coverage-guided fuzzing engine (akin to AFL or libFuzzer)."