Zhipeng Gao Lingxiao Jiang Xin Xia 0001 David Lo 0001 John Grundy 0001 Checking Smart Contracts With Structural Code Embedding. 2874-2891 2021 47 IEEE Trans. Software Eng. 12 https://doi.org/10.1109/TSE.2020.2971482 db/journals/tse/tse47.html#GaoJXLG21