User-defined backtracking criteria for symbolic execution.

Scott Kausler Elena Sherman

Published in: ACM SIGSOFT Softw. Eng. Notes (2014)

Keyphrases

user defined
symbolic execution
static analysis
test data generation
data types
test generation
specification language
source code
data flow
search algorithm
query language
machine learning
preprocessing
object oriented
open source
heuristic search