Comprehensive Evaluation of Cross Translation Unit Symbolic Execution.

Endre Fülöp Norbert Pataki

Published in: ICAI (2020)

Keyphrases

comprehensive evaluation
symbolic execution
static analysis
test data generation
test generation
source code
systematic evaluation
specification language
machine translation
data flow
case study
artificial intelligence
databases
decision trees
orders of magnitude
simulated annealing algorithm