Ruichao Liang, Jing Chen, Ruochen Cao, Kun He, Ruiying Du, Shuhua Li, Zheng Lin, Cong Wu. SmartShot: Hunt Hidden Vulnerabilities in Smart Contracts using Mutable Snapshots. ACM International Conference on the Foundations of Software Engineering（CCF A类会议）
