T Hu,
B Li, Z Pan, C Qian - IEEE Transactions on Reliability, 2023 - ieeexplore.ieee.org
Smart contract security is one of the core issues in any application based on blockchain.
There are many techniques focusing on smart contract security, however, due to the diversity …