Login / Signup

Detecting Data Races in Interrupt-Driven Programs based on Static Analysis and Dynamic Simulation.

Yu WangJunjing ShiLinzhang WangJianhua ZhaoXuandong Li
Published in: Internetware (2015)
Keyphrases
  • static analysis
  • data analysis
  • data sets
  • dynamic analysis
  • training data
  • data structure
  • data collection
  • domain experts
  • knowledge discovery
  • simulation data
  • symbolic execution
  • databases
  • high level