Changtong Dong, Hao Huang, Ying Shang: Erinys: Efficient fuzzing by function invoke sequence generation for smart contracts. BDIOT 2024: 236-241