Software Development
Property Based Testing
Writes, reviews, and debugs property-based tests — Hypothesis, fast-check, proptest, jqwik, rapid, and Echidna or Medusa for Solidity invariants. Use whenever tests should cover a whole input domain instead of a hand-picked list of examples: encode/decode and serialize/deserialize pairs, parsers, canonicalizers and normalizers, validators, numeric and Decimal types, comparators and sort order, data structures, and smart-contract state invariants. Also use when adding cases to an existing @given, fast-check, or proptest suite, when judging whether existing property tests assert anything real, and when a generator has shrunk a counterexample and you need to tell a wrong property from a genuine bug. Not for coverage-guided binary fuzzing (libFuzzer, AFL), mutation-testing campaigns, static analysis, benchmarking, or end-to-end UI tests.
- Publisher / source
- trailofbits/skills (found on skills.sh, an awesome list, the CSV list)
- Upstream record
- trailofbits/skills
- Version
- Version 3
- Published
- Publication review
- Approved for publication
- Content fingerprint
9448cacb65c6237a7c22dc59602667177ecae405524079ae9ff92240590b995a