Unbounded-Thread Reachability via Symbolic Execution and Loop Acceleration (Technical Report).

Peizun Liu Thomas Wahl

Published in: CoRR (2015)

Keyphrases

technical report
symbolic execution
static analysis
test data generation
test generation
source code
specification language
state space
data flow
simulated annealing algorithm
artificial intelligence
search algorithm
feature space
open source
orders of magnitude