Compact Symbolic Execution.

Jiri Slaby Jan Strejcek Marek Trtík

Published in: ATVA (2013)

Keyphrases

symbolic execution
static analysis
test generation
test data generation
source code
specification language
data flow
query language
test cases
machine vision
software projects