Symbolic Execution + Model Counting + Entropy Maximization = Automatic Search Synthesis.

Mara Downing Abtin Molavi Lucas Bang

Published in: GandALF (2020)

Keyphrases

symbolic execution
test data generation
search space
search algorithm
model counting
search strategy
search methods
solution space
genetic algorithm
database systems
search strategies
specification language
test generation