ISSTA 2022
Mon 18 - Fri 22 July 2022 Online

Registered user since Tue 12 Apr 2022

Name:Rui Chen
Affiliation:Beijing Institute of Control Engineering
Research interests:Program Analysis, Software Testing, Formal Verificaition, Concurrency Bug Finding


ISSTA 2022 SpecChecker-ISA: A Data Sharing Analyzer for Interrupt-driven Embedded Software
Precise and Efficient Atomicity Violation Detection for Interrupt-driven Programs via Staged Path Pruning
Show activities from other conferences

ISSTA 2022-profile
View general profile