A Critical-Path-Coverage-Based Vulnerability Detection Method for Smart Contracts[J] IEEE ACCESS 2019(7) Fu, Menglin Wu, Lifa Hong, Zheng Zhu, Feng Sun, He Feng, Wenbo
