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.
Blog
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.
Invariant testing from command-line
2023-01-30
Learn how Pandora enables property-based testing, fuzzing, and invariant testing for smart contracts on the Stacks blockchain, discovering bugs that traditional tests miss.
Picking up a Clarity contract
2023-01-23
Part of the Pandora series, introducing Cargo - a fictional smart contract for tracking shipment progress throughout the supply chain on the Stacks blockchain.
Pandora
2023-01-16
Deploy with confidence. Pandora enables property-based testing, fuzzing, and invariant testing for Clarity smart contracts on the Stacks blockchain.
Clarity model-based testing primer
2022-03-15
Advanced Clarity testing guide: verify any combination of contract functions using model-based testing techniques from QuickCheck, going beyond single-function property tests.