Chao Li

According to our database, Chao Li authored at least 7 papers between 2020 and 2025.

Collaborative distances:

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

2025

STRUT: Structured Seed Case Guided Unit Test Generation for C Programs using LLMs.

Jinwei Liu, Chao Li, Rui Chen, Shaofeng Li, Bin Gu, Mengfei Yang

Proc. ACM Softw. Eng., 2025

2023

intCV: Automatically Inferring Correlated Variables in Interrrupt-Driven Program.

Chao Li, Zhixuan Wang, Rui Chen, Mengfei Yang

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

An Empirical Study on Concurrency Bugs in Interrupt-Driven Embedded Software.

Chao Li, Rui Chen, Boxiang Wang, Zhixuan Wang, Tingting Yu, Yunsong Jiang, Bin Gu, Mengfei Yang

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 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

2022

SpecChecker-ISA: a data sharing analyzer for interrupt-driven embedded software.

Boxiang Wang, Rui Chen, Chao Li, Tingting Yu, Dongdong Gao, Mengfei Yang

Proceedings of the ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18, 2022

Precise and efficient atomicity violation detection for interrupt-driven programs via staged path pruning.

Chao Li, Rui Chen, Boxiang Wang, Tingting Yu, Dongdong Gao, Mengfei Yang

Proceedings of the ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18, 2022

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