Towards systematic, comprehensive trace generation for behavioral pattern detection through symbolic execution.

Markus von Detten

Published in: PASTE (2011)

Keyphrases

pattern detection
symbolic execution
static analysis
test generation
test data generation
source code
specification language
generation algorithm
data flow
high level
feature space
training set
image registration
open source
test set