Yunlin Du

Identifiers

No identifiers captured yet.

Papers (1)

1. CoverAssert: Iterative LLM Assertion Generation Driven by Functional Coverage via Syntax-Semantic Representations cs.AR · 2026 · author #8

Mentions

No mention provenance yet.

Frequent Coauthors

• Hongqin Lyu 1 shared papers
• Huawei Li 1 shared papers
• Jiaxin Zhou 1 shared papers
• Jing Ye 1 shared papers
• Mingyu Shi 1 shared papers
• Tiancheng Wang 1 shared papers
• Wenchao Ding 1 shared papers
• Yang Yin 1 shared papers
• Yonghao Wang 1 shared papers
• Zhiteng Chao 1 shared papers