Checking Smart Contracts With Structural Code Embedding[J] IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 2021(47) Gao, Zhipeng Jiang, Lingxiao Xia, Xin Lo, David Grundy, John
