Constraints in Dynamic Symbolic Execution: Bitvectors or Integers?

Timotej Kapus Martin Nowack Cristian Cadar

Published in: TAP@FM (2019)

Keyphrases

symbolic execution
test data generation
data sets
artificial intelligence
static analysis
test generation
web services
training data
source code
error rate
reverse engineering