Test Case Generation for Ethereum Smart Contract based on Data Dependency Analysis of State Variable.

Jinhu Du, Song Huang, Xingya Wang, Changyou Zheng, Jin-lei Sun

Browse the full QRS paper archive.