Property-based Fuzz Testing

• **@agfviggiano Advanced Fuzzing Techniques: An eBTC Case Study**
• **Trail of Bits pre-defined invariants**
• **Trail of Bits Echidna Tutorials**
• **Gustavo Grieco - Spearbit: Echidna Workshop**
• **@agfviggiano Advanced Fuzzing Techniques: An eBTC Case Study**
• **@agfviggiano OpenSense Invariant Testing Workshop**
• **@agfviggiano How to How to write (good) invariants?**
• **RareSkills invariant testing in foundry**
• **@horsefacts Invariant Testing WETH With Foundry**
• **Patrick Collins Fuzz | Invariant Tests**
• **Hybrid fuzzing: Sharpening the spikes of Echidna**
• **Foundry Book Invariant Testing**
• **Trail of Bits pre-defined invariants**
• **Trail of Bits Echidna Tutorials**
• **Gustavo Grieco - Spearbit: Echidna Workshop**
• **@agfviggiano OpenSense Invariant Testing Workshop**
• **@agfviggiano How to How to write (good) invariants?**
• **RareSkills invariant testing in foundry**
• **@horsefacts Invariant Testing WETH With Foundry**
• **Patrick Collins Fuzz | Invariant Tests**
• **Hybrid fuzzing: Sharpening the spikes of Echidna**
• **Foundry Book Invariant Testing**
• **Perimetersec Public Fuzzing Campaigns List**
• **Public Use of Echidna**
• **Perimetersec Public Fuzzing Campaigns List**
• **Public Use of Echidna**
• **@agfviggiano How to How to write (good) invariants?**

• **Fuzzing Labs @Pat_Ventuzelo ETHCC5 Fuzzing talk**
• **Trail of Bits Fuzzing Workshop**
• **Foundry Book Fuzz Testing**
• **@vn_martinez\_ Mastering Fuzzing** - fuzzing))
• **@dacian Exploiting Precision Loss via Fuzz Testing**
• **@paco0x Kyber Network exploit reproduction with Fuzzing**
• **Fuzzing Labs @Pat_Ventuzelo ETHCC5 Fuzzing talk**
• **@vn_martinez\_ Mastering Fuzzing** - fuzzing))
• **@dacian Exploiting Precision Loss via Fuzz Testing**
• **Foundry Book Fuzz Testing**
• **@paco0x Kyber Network exploit reproduction with Fuzzing**
• **Trail of Bits Fuzzing Workshop**

Differential Fuzz Testing

• **Differential Test | Testing with Foundry**
• **Foundry Book differential testing**
• **Seaport | Discussion #809 Understanding the "DifferentialTest" test contract**
• **Murky Merkle Tree DifferentialTests.t.sol**
• **EnbangWu Differential Fuzzing of solidity Fixed-point libraries**
• **@annascarrol Solidity Summit 2023 - Differential Testing with Foundry by Anna Carroll** - XsjA&list=PLX8x7Zj6VeznJuVkZtRyKwseJdrr4mNsE&index=13))
• **Seaport | Discussion #809 Understanding the "DifferentialTest" test contract**
• **Murky Merkle Tree DifferentialTests.t.sol**
• **EnbangWu Differential Fuzzing of solidity Fixed-point libraries**
• **@annascarrol Solidity Summit 2023 - Differential Testing with Foundry by Anna Carroll** - XsjA&list=PLX8x7Zj6VeznJuVkZtRyKwseJdrr4mNsE&index=13))
• **Differential Test | Testing with Foundry**
• **Foundry Book differential testing**
• **@annascarrol Solidity Summit 2023 - Differential Testing with Foundry by Anna Carroll** - XsjA&list=PLX8x7Zj6VeznJuVkZtRyKwseJdrr4mNsE&index=13))

Differential Fuzz Testing

• **0xkarmacoma Beyond Fuzzing: Symbolic Testing in Practice Solidity Summit 2023**
• **runtime verification The Symbolic Solidity Debugger TrustX 2023**
• **WilfredTA formal-methods-curriculum**
• **Everything You Wanted to Know About Symbolic Execution for Ethereum Smart Contracts**
• **The Easy Way To Quit (Concrete) Testing**
• **0xkarmacoma Beyond Fuzzing: Symbolic Testing in Practice Solidity Summit 2023**
• **runtime verification The Symbolic Solidity Debugger TrustX 2023**
• **jellopaper.org KEVM: Semantics of EVM in K**
• **Using Halmos to Formally Verify Solady's FixedPointMathLib**
• **Certora prover documentation**
• **Certora ERC4626 TrustX 2023 workshop**
• **Certora Formal Verification of Openzeppelin contracts**
• **Using Halmos to Formally Verify Solady's FixedPointMathLib**
• **Certora prover documentation**
• **Certora ERC4626 TrustX 2023 workshop**
• **Certora Formal Verification of Openzeppelin contracts**
• **WilfredTA formal-methods-curriculum**
• **Everything You Wanted to Know About Symbolic Execution for Ethereum Smart Contracts**
• **The Easy Way To Quit (Concrete) Testing**
• **0xkarmacoma Beyond Fuzzing: Symbolic Testing in Practice Solidity Summit 2023**
• **runtime verification The Symbolic Solidity Debugger TrustX 2023**
• **jellopaper.org KEVM: Semantics of EVM in K**

Differential Fuzz Testing

• **Chandrakana Nandi, How Good Is Your Formal Specification? Mutation Testing To The Rescue! Solidity Summit 2023**
• **Chandrakana Nandi, How Good Is Your Formal Specification? Mutation Testing To The Rescue! Solidity Summit 2023**
• **Certora Gambit: Mutation Generator for Solidity Docs**
• **Chandrakana Nandi, How Good Is Your Formal Specification? Mutation Testing To The Rescue! Solidity Summit 2023**

Differential Fuzz Testing

• **PaulRBerg/btt-examples**
• **@PaulRBerg Branching Tree Technique**
• **@PaulRberg Solidity Summit 2023 Branching Tree Technique**