Test Case Generation for Ethereum Smart Contracts Based on Cross-Contract Data Flow Analysis. - Xingya Wang; Yumao Yang; Linwei Liu; Zhenyu Chen 001; Song Huang (IEEE Trans. Reliab., 2025)