Sign in

Thread-modular static analysis for relaxed memory models.

Markus KusanoChao Wang
Published in: ESEC/SIGSOFT FSE (2017)
Keyphrases
  • static analysis
  • probabilistic model
  • source code
  • artificial intelligence
  • optimal solution
  • dynamic analysis
  • data sets
  • databases
  • malicious code