Sign in

Automatic Detection, Validation, and Repair of Race Conditions in Interrupt-Driven Embedded Software.

Yu WangFengjuan GaoLinzhang WangTingting YuJianhua ZhaoXuandong Li
Published in: IEEE Trans. Software Eng. (2022)
Keyphrases
  • automatic detection
  • embedded software
  • embedded systems
  • software architecture
  • automatically detecting
  • development projects
  • chest ct
  • real time
  • databases
  • xml documents
  • software engineering
  • database design