Automated Test Generation For Smart Contracts via On-Chain Test Case Augmentation and Migration

• Published in: Proceedings / International Conference on Software Engineering pp. 1947 - 1959
• Main Authors: Zhang, Jiashuo, Chen, Jiachi, Grundy, John, Gao, Jianbo, Wang, Yanlin, Chen, Ting, Guan, Zhi, Chen, Zhong
• Format: Conference Proceeding
• Language: English
• Published: IEEE 26.04.2025
• Subjects: Blockchains; Ethereum; Manuals; Prototypes; Smart contracts; Software engineering; Static analysis; test generation; test migration; Test pattern generators; Testing; Transforms; Writing

Pre-deployment testing has become essential to ensure the functional correctness of smart contracts. However, since smart contracts are stateful programs integrating many different functionalities, manually writing test cases to cover all potential usages requires significant effort from developers,...