Test Case Generation for Ethereum Smart Contracts Based on Cross-Contract Data Flow Analysis
['Xingya Wang', 'Yumao Yang', 'Linwei Liu', 'Zhenyu Chen', 'Song Huang']
/
IEEE Transactions on Reliability
/ Vol. 74
/ No. 3