Minimal Fuzzing Without The Pain
2023-03-17
Part of the Input Coverage series, showing how to set up a boring but effective fuzzing workflow with one entry point, property tests, libFuzzer, and AFL++.
Blog
Property Tests Are Not A Fuzzer
2023-03-03
Part of the Input Coverage series, explaining the fundamental differences between property tests and fuzzers, and why you need both for comprehensive testing.
Heterogeneous test-suites
2023-02-27
Part of the Pandora series, exploring how to combine TypeScript and native Clarity testing approaches for comprehensive smart contract coverage.
The Case For Input Coverage
2023-02-24
Part of the Input Coverage series, distinguishing between code coverage and input coverage, explaining why high code coverage can hide low input coverage.
Input Coverage > Code Coverage (Series Index)
2023-02-17
A short, opinionated series on why expert TDD and property tests still miss bugs, and how libFuzzer and AFL++ raise input coverage without ceremony.
Invariant testing from Clarity
2023-02-13
Part of the Pandora series, exploring native Clarity testing concepts. Note: Pandora was a prototype; Rendezvous is now the production-ready Clarity testing solution.
Invariant testing from TypeScript
2023-02-06
Part of the Pandora series, demonstrating automated invariant testing using fast-check commands to model state transitions in Clarity smart contracts.