V-Gas: Generating High Gas Consumption Inputs to Avoid Out-of-Gas Vulnerability[J] ACM TRANSACTIONS ON INTERNET TECHNOLOGY 2023(23) Ma, Fuchen Ren, Meng Ying, Fu Sun, Wanting Song, Houbing Shi, Heyuan Jiang, Yu Li, Huizhong
EVMFuzz: Differential fuzz testing of Ethereum virtual machine[J] JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS Fu, Ying Ren, Meng Ma, Fuchen Yang, Xin Shi, Heyuan Li, Shanshan Liao, Xiangke
