Optimal Conjunctive Normal Form Encoding for Symbolic Execution.

Weiyu Pan Ziqi Shuai Ke Ma Luyao Liu

Published in: SEKE (2021)

Keyphrases

symbolic execution
conjunctive normal form
optimal solution
dynamic programming
test generation
source code
static analysis
test data generation
training data
relational databases
genetic programming
data flow
polynomial size