ISmart: Protecting Smart Contract Against Integer Bugs[J] INTELLIGENT AUTOMATION AND SOFT COMPUTING 2022(33) Zeng, Xingyu Zhang, Hua Yan, Chaosong Zhao, Liu Wen, Qiaoyan
