TY  - RPRT
TI  - CoverAssert: Iterative LLM Assertion Generation Driven by Functional Coverage via Syntax-Semantic Representations
AU  - Yonghao Wang
AU  - Yang Yin
AU  - Hongqin Lyu
AU  - Jiaxin Zhou
AU  - Zhiteng Chao
AU  - Mingyu Shi
AU  - Wenchao Ding
AU  - Yunlin Du
AU  - Jing Ye
AU  - Tiancheng Wang
AU  - Huawei Li
PY  - 2026
UR  - https://arxiv.org/abs/2604.06607
ID  - 2604.06607
ER  -