Effective Fuzzing for Smart Contract

1