Don't Sit on the Fence - A Static Analysis Approach to Automatic Fence Insertion.

Jade Alglave Daniel Kroening Vincent Nimal Daniel Poetzl

Published in: CAV (2014)

Keyphrases

static analysis
dynamic analysis
source code
symbolic execution
regular expressions
test suite
malicious code
semi automatic
fully automatic
abstract interpretation
databases
artificial intelligence
test generation