Haoxin Sun, Xiao Yu, Jiale Li, Yitong Xu, Jie Yu, Huanhuan Li, Yuanzhang Li, Yu-an Tan. Smart Contract Vulnerability Detection Based on Symbolic Execution and Graph Neural Networks. Comput. Mater. Continua, 86(2):1-15, 2026. [doi]
Abstract is missing.