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
2 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
Testing with Foundry
Tools
- Bulloak | Solidity test generator based on the Branching Tree Technique
Solidity test generator based on the Branching Tree Technique
- Certora Prover | Formal verification Tool
Formal verification Tool
- Dafny-EVM | functional specification of the Ethereum Virtual Machine in Dafny
functional specification of the Ethereum Virtual Machine in Dafny
- Echinda | Ethereum smart contract Property-based fuzzer
Ethereum smart contract Property-based fuzzer
- Etheno | JSON RPC multiplexer, analysis tool wrapper, test integration tool
JSON RPC multiplexer, analysis tool wrapper, test integration tool
- Foundry | Ethereum development framework written in Rust
Ethereum development framework written in Rust
Mutation Testing
Showing a sample of 57 resources. View the full list on GitHub →