Pluto: Exposing Vulnerabilities in Inter-Contract Scenarios[J] IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 2022(48) Ma, Fuchen Xu, Zhenyang Ren, Meng Yin, Zijing Chen, Yuanliang Qiao, Lei Gu, Bin Li, Huizhong Jiang, Yu Sun, Jiaguang
Empirical Evaluation of Smart Contract Testing: What Is the Best Choice?[C] ISSTA '21: PROCEEDINGS OF THE 30TH ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS 2021 Ren, Meng Yin, Zijing Ma, Fuchen Xu, Zhenyang Jiang, Yu Sun, Chengnian Li, Huizhong Cai, Yan
Making Smart Contract Development More Secure and Easier[C] PROCEEDINGS OF THE 29TH ACM JOINT MEETING ON EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING (ESEC/FSE '21) 2021 Ren, Meng Ma, Fuchen Yin, Zijing Fu, Ying Li, Huizhong Chang, Wanli Jiang, Yu
