ParSE: Efficient Detection of Smart Contract Vulnerabilities via Parallel and Simplified Symbolic Execution.

Long He, Xiangfu Zhao, Yichen Wang

Browse the full ICSE paper archive.