Symbolic Test Generation Using a Temporal Logic with Constrained Events. - Daguang Liu; Peng Wu 002; Huimin Lin (Formal Methods and Hybrid Real-Time Systems, 2007)

ReCopilot: Reverse Engineering Copilot in Binary Analysis. - Guoqiang Chen; Huiqi Sun; Daguang Liu; Zhiqi Wang; Qiang Wang; Bin Yin; Lu Liu; Lingyun Ying (CoRR, 2025)