2019
A Critical-Path-Coverage-Based Vulnerability Detection Method for Smart Contracts.
IEEE Access, 2019