Chuyang Chen's Publications (in Chronological Order)

Conference Publications

1. Chuyang Chen^*, Brendan Dolan-Gavitt, and Zhiqiang Lin. ELFuzz: Efficient Input Generation via LLM-driven Synthesis Over Fuzzer Space. In Proceedings of the 34th USENIX Security Symposium (USENIX Security '25), forthcoming, Seattle, Washington, USA, Aug. 2025. [bib, pdf, code]
2. Qichang Wang^†, Chuyang Chen^†*, Ruiyang Xu, Haiying Sun, Chengcheng Wan, Ting Su, Yueling Zhang, and Geguang Pu. IFSE: Taming Closed-box Functions in Symbolic Execution via Fuzz Solving. In Proceedings of the 47th International Conference on Software Engineering (ICSE '25), forthcoming, Ottawa, Ontario, Canada, Apr.–May 2025. [bib, pdf, code]
   [^†Co-first author; demonstrations track]
3. Chuyang Chen^*, Huiyan Wang, Lingyu Zhang, Chang Xu, and Ping Yu. Minimizing Link Generation in Constraint Checking for Context Inconsistency Detection. In Proceedings of the 33rd International Symposium on Software Reliability Engineering (ISSRE '22), pp. 13–24, Charlotte, North Carolina, USA, Oct.–Nov. 2022. [bib, pdf, code]
   [best paper candidate (3/48)]

Journal Publications

1. Chuyang Chen^*, Huiyan Wang, Lingyu Zhang, Chang Xu, and Ping Yu. MG+: Towards Efficient Context Inconsistency Detection by Minimized Link Generation. Software Testing, Verification and Reliability (STVR), Vol. 35, Article e1899, pp. 1–22, Jan. 2025. [bib, pdf, code]
2. Lingyu Zhang, Huiyan Wang, Chuyang Chen^*, Chang Xu, and Ping Yu. Incremental-Concurrent Fusion Checking for Efficient Context Consistency. The Journal of Systems and Software (JSS), Vol. 207, Article 111852, pp. 1–27, Jan. 2024. [bib, pdf]