Data Flow Reduction Based Test Case Generation for Smart Contracts.

Shunhui Ji, Shaoqing Zhu, Pengcheng Zhang, Hai Dong

Browse the full APSEC paper archive.