Chuyang Chen's Publications (in Chronological Order)

Conference Publications

1. 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), 2024, forthcoming. [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]