TY  - RPRT
TI  - Automatic Detection, Validation and Repair of Race Conditions in Interrupt-Driven Embedded Software
AU  - Yu Wang
AU  - Fengjuan Gao
AU  - Linzhang Wang
AU  - Tingting Yu
AU  - Ke Wang
AU  - Jianhua Zhao
AU  - Xuandong Li
PY  - 2023
UR  - https://arxiv.org/abs/2305.17869
ID  - 2305.17869
ER  -