Exploring Automated Assertion Generation via Large Language Models

Open Webpage

Quanjun Zhang, Weifeng Sun, Chunrong Fang, Bowen Yu, Hongyan Li, Meng Yan, Jianyi Zhou, Zhenyu Chen

Published: 31 Mar 2025, Last Modified: 13 Mar 2026ACM Transactions on Software Engineering and MethodologyEveryoneRevisionsCC BY-SA 4.0
External IDs:doi:10.1145/3699598