We stand with Ukraine  

Chao Li

Orcid: 0000-0002-1170-587X

Affiliations:
  • Beijing Sunwise Information Technology Ltd, Beijing Institute of Control Engineering, Beijing, China


According to our database1, Chao Li authored at least 8 papers between 2020 and 2025.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2025
STRUT: Structured Seed Case Guided Unit Test Generation for C Programs using LLMs.
[BibTeX]
[DOI]
Jinwei Liu
,
Chao Li
,
Rui Chen
,
Shaofeng Li
,
Bin Gu
,
Mengfei Yang
Proc. ACM Softw. Eng., 2025

SpecChecker-Int: An Extensible Concurrency Bugs Detection Tool for Interrupt-driven Embedded Software.
[BibTeX]
[DOI]
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
intCV: Automatically Inferring Correlated Variables in Interrrupt-Driven Program.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
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


  Loading...