Automated Test Generation For Smart Contracts via On-Chain Test Case Augmentation and Migration - Zhang, Jiashuo; Chen, Jiachi; Grundy, John; Gao, Jianbo; Wang, Yanlin; Chen, Ting; Guan, Zhi; Chen, Zhong (Proceedings / International Conference on Software Engineering, 2025)
Keywords: Blockchains; Ethereum; Manuals; Prototypes; Smart contracts; Software engineering; Static analysis; test generation; test migration; Test pattern generators; Testing; Transforms; Writing