Effuzz: Efficient fuzzing by directed search for smart contracts[J] INFORMATION AND SOFTWARE TECHNOLOGY 2023(159) Ji, Songyan Wu, Jin Qiu, Junfu Dong, Jian