1 paper
Zaoyu Chen, Haoran Qin, Nuo Chen +4
Smart contracts, predominantly written in Solidity and deployed on blockchains such as Ethereum, are immutable after deployment, making functional correctness critical. However, ex…