E(X)G(E)N: Cross-platform, Automated Exploit Generation for Smart Contract Vulnerabilities[J] IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING 2023(20) Jin, Ling Cao, Yinzhi Chen, Yan Zhang, Di Campanoni, Simone