Divide, Conquer and Verify: Improving Symbolic Execution Performance.

Christopher Scherb Luc Bryan Heitz Hermann Grieder Olivier Mattmann

Published in: CoRR (2023)

Keyphrases

symbolic execution
test data generation
test generation
source code
static analysis
specification language
data flow
genetic algorithm
web services
database systems