Test-Case Generation for Data Flow Testing of Smart Contracts Based on Improved Genetic Algorithm[J] IEEE TRANSACTIONS ON RELIABILITY Ji, Shunhui Zhu, Shaoqing Zhang, Pengcheng Dong, Hai Yu, Jianan