Data Flow Reduction Based Test Case Generation for Smart Contracts | IEEE Conference Publication | IEEE Xplore