Rui Chen

According to our database, Rui Chen authored at least 10 papers between 2011 and 2025.

Collaborative distances:

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

2025

Bounded Verification of Atomicity Violations for Interrupt-Driven Programs via Lazy Sequentialization.

Yuan Zhang, Lei Qu, Yifei Wu, Leihuan Wu, Tingting Yu, Rui Chen, Weiqiang Kong

ACM Trans. Softw. Eng. Methodol., March, 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

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

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

2011

Static Data Race Detection for Interrupt-Driven Embedded Software.

Rui Chen, Xiangying Guo, Yonghao Duan, Bin Gu, Mengfei Yang

Proceedings of the Fifth International Conference on Secure Software Integration and Reliability Improvement, 2011