Property Based Testing - Smart testing of smart contracts

on YouTube ↗54m

" summary

Uses graphical contract models to generate on-chain code and applies stateful property-based testing to validate both code generation and runtime behavior. Builds a generator + test harness that exercises randomized command sequences against deployed contracts and CI, discovers over 20 unexpected failing traces (including reentrancy-like state regressions and incorrect postconditions), and integrates the checks into deployment pipelines so generated contracts fail fast rather than reaching production.

AI-written summary · about

" chapters (8)

1. 0:00Property based testing intro
2. 4:20Unit testing limits for contracts
3. 11:23Core principles
4. 17:56Property based testing in blockchain applications
5. 26:14Implementing property based testing frameworks
6. 33:25State machines with PBT
7. 42:24Real-world PBT impact
8. 48:50Q&A

" related talks

• 25mBehavioral simulation for smart contractsSidi Mohamed Beillahi, Constantin Enea, Michael Emmi, Gabriela Ciocarlie · SPLASH 2022
• 41mPython Unittesting for Ethereum Smart Contracts or how not to create your own CryptoRobert Meyer · PyData Berlin 2018
• 37mAuthoring and Formal Verification of Smart Contracts in PactJoel Burget · LambdaConf 2018
• 45mFunctional Smart ContractsManuel Chakravarty · Lambda World Cádiz 2019
• 27mBreak It YourselfHans Svensson, Ingela Anderton Andin · Code BEAM Lite Stockholm 2026
• 33mAudit-Driven Signature Tracing for Smart Contract SafetyJaehyung Lee · Open Source Summit Korea 2025
• 21mFrom High-Level DeFi Properties to Concrete Security BugsNurit Dor · DeFi Security Summit 2022
• 48mD1T2 - Smashing Ethereum Smart Contracts for Fun and ACTUAL ProfitBernhard Mueller · Hack In The Box Amsterdam 2018