On-chain Testing

ItyFuzz is a novel snapshot-based fuzzer developed for testing smart contracts. Smart contracts, being critical financial instruments, require robust security measures. However, their testing is challenging due to the persistent…