TY  - RPRT
TI  - ADF-GA: Data Flow Criterion Based Test Case Generation for Ethereum Smart Contracts
AU  - Pengcheng Zhang
AU  - Jianan Yu
AU  - Shunhui Ji
PY  - 2020
UR  - https://arxiv.org/abs/2003.00257
ID  - 2003.00257
ER  -