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