Detecting Out-of-Bounds Array Access Errors in Aerospace Embedded Software. - Rui Chen; Tingting Yu; Yunsong Jiang; Chunpeng Jia; Chao Li 078; Dongdong Gao; Mengfei Yang (DSA, 2020)

Precise Dynamic Data Race Prediction for Interrupt-Driven Embedded Software. - Tingting Yu; Chunpeng Jia; Rui Chen; Chao Li 078; Boxiang Wang; Yunsong Jiang (ISSREW, 2023)

DeepHC: Efficient Generating Tests with High Coverage for Deep Neural Networks. - Junyuan Teng; Tingting Yu; Rui Chen; Dongdong Gao; Chunpeng Jia (QRS Companion, 2023)

SpecChecker-Int: An Extensible Concurrency Bugs Detection Tool for Interrupt-driven Embedded Software. - Boxiang Wang; Chao Li 078; Rui Chen; Sheng Wang; Chunpeng Jia; Mengfei Yang (SIGSOFT FSE Companion, 2025)