WASAIUP: A Demand-driven Concolic Fuzzer for EOSIO Smart Contracts.

Meng Wang Ziheng Wang Bin Yu Kai Zhang

Published in: QRS (2023)

Keyphrases

demand driven
supply chain
neural network
digital libraries
smart grid
moral hazard
intelligent systems