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
Automating User Notice Generation for Smart Contract Functions[C] 2021 36TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING ASE 2021 2021 Hu, Xing Gao, Zhipeng Xia, Xin Lo, David Yang, Xiaohu
