CSAFuzzer: Fuzzing smart contracts combining with static analysis. - Yang, Jiahui; Zhao, Xiangfu; Zhang, Hanfeng; He, Long; Wang, Shiji; Gou, Naixiang (Empirical Software Engineering, 2025)