@misc{indiciaecee5a05c7793,
  title = {CoverAssert: Iterative LLM Assertion Generation Driven by Functional Coverage via Syntax-Semantic Representations},
  author = {Yonghao Wang and Yang Yin and Hongqin Lyu and Jiaxin Zhou and Zhiteng Chao and Mingyu Shi and Wenchao Ding and Yunlin Du and Jing Ye and Tiancheng Wang and Huawei Li},
  year = {2026},
  url = {https://arxiv.org/abs/2604.06607},
  note = {Source identifier: 2604.06607}
}