Login / Signup

Automatic detection and validation of race conditions in interrupt-driven embedded software.

Yu WangLinzhang WangTingting YuJianhua ZhaoXuandong Li
Published in: ISSTA (2017)
Keyphrases
  • automatic detection
  • embedded software
  • embedded systems
  • software architecture
  • development projects
  • automatically detecting
  • sequence diagrams
  • database
  • case study
  • open source
  • chest ct