An Improved Vulnerability Detection System of Smart Contracts Based on Symbolic Execution. - Yao Yao; Hui Li 022; Xin Yang 019; Yiwang Le (IEEE Big Data, 2022)