Blog

Enterprise Case 1: Money Parser, Unicode Minus

2023-03-31

Part of the Input Coverage series, demonstrating how Unicode minus (U+2212) from Excel breaks money parsing invariants that property tests miss.

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++.

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.