Yao Yao, Hui Li 0022, Xin Yang, Yiwang Le. An Improved Vulnerability Detection System of Smart Contracts Based on Symbolic Execution. In Shusaku Tsumoto, Yukio Ohsawa, Lei Chen 0002, Dirk Van den Poel, Xiaohua Hu 0001, Yoichi Motomura, Takuya Takagi, Lingfei Wu, Ying Xie, Akihiro Abe, Vijay Raghavan 0001, editors, IEEE International Conference on Big Data, Big Data 2022, Osaka, Japan, December 17-20, 2022. pages 3225-3234, IEEE, 2022. [doi]
Abstract is missing.