Chuyang Chen's Publications (in Chronological Order)

Conference Publications

1. Qichang Wang^†, Chuyang Chen^†*, Ruiyang Xu, Haiying Sun, Chengcheng Wan, Ting Su, Yueling Zhang, Geguang Pu. IFSE: Taming Closed-box Functions in Symbolic Execution via Fuzz Solving. In Proceedings of the 47th International Conference on Software Engineering (ICSE 2025), forthcoming, Ottawa, Ontario, Canada, Apr 27–May 3 2025. [pdf]
   [^†Co-first author; demonstrations track]
2. 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 2022), pp. 13–24, Charlotte, North Carolina, USA, Oct–Nov 2022. [pdf]
   [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. [pdf]
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. [pdf]