TSO to SC via Symbolic Execution.

Heike Wehrheim Oleg Travkin

Published in: Haifa Verification Conference (2015)

Keyphrases

symbolic execution
static analysis
test generation
test data generation
specification language
source code
data flow
test cases
simulated annealing algorithm
data sets
neural network
programming language
error rate
description language