Rui Chen -

Registered user since Tue 12 Apr 2022

Name:Rui Chen

Country:China

Affiliation:Beijing Institute of Control Engineering; Beijing Sunwise Information Technology

Research interests:Program Analysis, Software Testing, Formal Verificaition, Concurrency Bug Finding

Contributions

2025

ISSTA

Author of STRUT: Structured Seed Case Guided Unit Test Generation for C Programs using LLMs within the Research Papers-track

ESEC/FSE

Author of SpecChecker-Int: An Extensible Concurrency Bugs Detection Tool for Interrupt-driven Embedded Software within the Demonstrations-track

ICSE

Author of Reduce Dependence for Sound Concurrency Bug Prediction within the Research Track-track

2023

ISSTA

Author of An Empirical Study on Concurrency Bugs in Interrupt-Driven Embedded Software within the Technical Papers-track

2022

ISSTA