Exploring Automated Assertion Generation via Large Language Models. - Zhang, Quanjun; Sun, Weifeng; Fang, Chunrong; Yu, Bowen; Li, Hongyan; Yan, Meng; Zhou, Jianyi; Chen, Zhenyu (ACM Transactions on Software Engineering & Methodology, 2025)