Thread-modular static analysis for relaxed memory models.

Markus Kusano Chao 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