awesome-advanced-smart-contracts-testing-and-verification
github.com/gianfrancobazzani/awesome-advanced-smart-contracts-testing-and-verification ↗A curated collection of tools, frameworks, and methodologies for testing and verifying Solidity smart contracts.
78
GitHub Stars
57
Curated Resources
5
Categories
19 hours ago
Last Refreshed
ToolsFuzzingFormal VerificationMutation TestingBranching Tree Technique
Use this list with your AI agent
Add the Context Awesome MCP server to Claude, Cursor, or any MCP client, then ask:
"Show me property-based fuzz testing resources from awesome-advanced-smart-contracts-testing-and-verification"
Installation instructions →What's inside
Formal Verification
- 0xkarmacoma Beyond Fuzzing: Symbolic Testing in Practice Solidity Summit 2023
- Certora ERC4626 TrustX 2023 workshop
- Certora Formal Verification of Openzeppelin contracts
- Certora prover documentation
- Everything You Wanted to Know About Symbolic Execution for Ethereum Smart Contracts
- jellopaper.org KEVM: Semantics of EVM in K
Fuzzing
- @agfviggiano Advanced Fuzzing Techniques: An eBTC Case StudyProperty-based Fuzz Testing
- @agfviggiano How to How to write (good) invariants?Property-based Fuzz Testing
- @agfviggiano OpenSense Invariant Testing WorkshopProperty-based Fuzz Testing
- @annascarrol Solidity Summit 2023 - Differential Testing with Foundry by Anna CarrollDifferential Fuzz Testing
Differential Testing with Foundry by Anna Carroll
- @dacian Exploiting Precision Loss via Fuzz Testing
- Differential Test | Testing with FoundryDifferential Fuzz Testing
Tools
- Bulloak | Solidity test generator based on the Branching Tree Technique
- Certora Prover | Formal verification Tool
- Dafny-EVM | functional specification of the Ethereum Virtual Machine in Dafny
- Echinda | Ethereum smart contract Property-based fuzzer
- Etheno | JSON RPC multiplexer, analysis tool wrapper, test integration tool
- Foundry | Ethereum development framework written in Rust
Mutation Testing
Showing a sample of 57 resources. View the full list on GitHub →