Test Case Generation for Ethereum Smart Contract based on Data Dependency Analysis of State Variable[C] 2022 IEEE 22ND INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY, QRS 2022 Du, Jinhu Huang, Song Wang, Xingya Zheng, Changyou Sun, Jinlei