Skip to content
State Machine Testing with Echidna
blog.trailofbits.com | blog | #smart-contracts | #fuzzing | #ethereum | #solidity | #evm | #echidna | #property-based-testing | #state-machine-testing
Summary
A Trail of Bits engineer adapts Hedgehog-style state machine testing to EVM contracts with Echidna, showing how random call sequences can verify invariants and surface logic bugs in Solidity code.
- Published
- Collected