Chunpeng Jia

According to our database, Chunpeng Jia authored at least 4 papers between 2020 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2025

SpecChecker-Int: An Extensible Concurrency Bugs Detection Tool for Interrupt-driven Embedded Software.

Boxiang Wang, Chao Li, Rui Chen, Sheng Wang, Chunpeng Jia, Mengfei Yang

Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering, 2025

2023

DeepHC: Efficient Generating Tests with High Coverage for Deep Neural Networks.

Junyuan Teng, Tingting Yu, Rui Chen, Dongdong Gao, Chunpeng Jia

Proceedings of the 23rd IEEE International Conference on Software Quality, 2023

Precise Dynamic Data Race Prediction for Interrupt-Driven Embedded Software.

Tingting Yu, Chunpeng Jia, Rui Chen, Chao Li, Boxiang Wang, Yunsong Jiang

Proceedings of the 34th IEEE International Symposium on Software Reliability Engineering, ISSRE 2023, 2023

2020

Detecting Out-of-Bounds Array Access Errors in Aerospace Embedded Software.

Rui Chen, Tingting Yu, Yunsong Jiang, Chunpeng Jia, Chao Li, Dongdong Gao, Mengfei Yang

Proceedings of the 7th International Conference on Dependable Systems and Their Applications, 2020