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