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 and efficient atomicity violation detection for interrupt-driven programs via staged path pruning. - Chao Li 078; Rui Chen; Boxiang Wang; Tingting Yu; Dongdong Gao; Mengfei Yang (ISSTA, 2022)

SpecChecker-ISA: a data sharing analyzer for interrupt-driven embedded software. - Boxiang Wang; Rui Chen; Chao Li 078; Tingting Yu; Dongdong Gao; Mengfei Yang (ISSTA, 2022)

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)

An Empirical Study on Concurrency Bugs in Interrupt-Driven Embedded Software. - Chao Li 078; Rui Chen; Boxiang Wang; Zhixuan Wang; Tingting Yu; Yunsong Jiang; Bin Gu 006; Mengfei Yang (ISSTA, 2023)

intCV: Automatically Inferring Correlated Variables in Interrrupt-Driven Program. - Chao Li 078; Zhixuan Wang; Rui Chen; Mengfei Yang (QRS, 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)

STRUT: Structured Seed Case Guided Unit Test Generation for C Programs using LLMs. - Jinwei Liu; Chao Li 078; Rui Chen; Shaofeng Li; Bin Gu 006; Mengfei Yang (Proc. ACM Softw. Eng., 2025)