@misc{indiciae1068dd17136d,
  title = {Automatic Detection, Validation and Repair of Race Conditions in Interrupt-Driven Embedded Software},
  author = {Yu Wang and Fengjuan Gao and Linzhang Wang and Tingting Yu and Ke Wang and Jianhua Zhao and Xuandong Li},
  year = {2023},
  url = {https://arxiv.org/abs/2305.17869},
  note = {Source identifier: 2305.17869}
}