PROPERTY BASED TESTING
2 articles tagged "property based testing"
2025-02-05·12 min read
Property Design Patterns for DeFi Lending Protocols
A practical catalog of invariant property patterns for lending protocols — from solvency and utilization bounds to liquidation health checks — with Solidity code for each.
By Nican0r
invariant-testingproperty-based-testingfuzzing
2025-05-06·9 min read
Stateful Fuzzing Explained: Why Sequence Matters in Smart Contract Testing
Most smart contract bugs only manifest after a specific sequence of transactions. Stateful fuzzing explores these sequences automatically — here is how it works and why it matters.
By Antonio
stateful-fuzzingfuzzingproperty-based-testing