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

Meng Wang, Ziheng Wang, Bin Yu, Kai Zhang

Browse the full QRS paper archive.