Test-Case Generation for Data Flow Testing of Smart Contracts Based on Improved Genetic Algorithm | IEEE Journals & Magazine | IEEE Xplore