SEPE-SQED: Symbolic Quick Error Detection by Semantically Equivalent Program Execution. - Yufeng Li; Qiusong Yang; Yiwei Ci; Enyuan Tian (DAC, 2024)

AssertCoder: LLM-Based Assertion Generation via Multimodal Specification Extraction. - Enyuan Tian; Yiwei Ci; Qiusong Yang; Yufeng Li; Zhichao Lyu (CoRR, 2025)