CPA-SymExec: efficient symbolic execution in CPAchecker.

Dirk Beyer Thomas Lemberger

Published in: ASE (2018)

Keyphrases

symbolic execution
artificial intelligence
neural network
test data generation
databases
search algorithm
source code
pattern matching
test generation