Minimizing Link Generation in Constraint Checking for Context Inconsistency Detection. - Chuyang Chen 001; Huiyan Wang 001; Lingyu Zhang 005; Chang Xu 001; Ping Yu 004 (ISSRE, 2022)

Incremental-concurrent fusion checking for efficient context consistency. - Lingyu Zhang 005; Huiyan Wang 001; Chuyang Chen 001; Chang Xu 001; Ping Yu 004 (J. Syst. Softw., 2024)

IFSE: Taming Closed-Box Functions in Symbolic Execution via Fuzz Solving. - Qichang Wang; Chuyang Chen 001; Ruiyang Xu; Haiying Sun; Chengcheng Wan 001; Ting Su 001; Yueling Zhang; Geguang Pu (ICSE Companion, 2025)

ELFuzz: Efficient Input Generation via LLM-driven Synthesis Over Fuzzer Space. - Chuyang Chen 001; Brendan Dolan-Gavitt; Zhiqiang Lin 001 (USENIX Security Symposium, 2025)

MG+: Towards Efficient Context Inconsistency Detection by Minimized Link Generation. - Chuyang Chen 001; Huiyan Wang 001; Lingyu Zhang 005; Chang Xu 001; Ping Yu 004 (Softw. Test. Verification Reliab., 2025)