Sound Gradual Verification with Symbolic Execution.

Conrad Zimmerman Jenna DiVincenzo Jonathan Aldrich

Published in: CoRR (2023)

Keyphrases

symbolic execution
test generation
static analysis
test data generation
source code
specification language
data flow
general purpose
genetic algorithm
relational databases
simulated annealing algorithm
simulated annealing
test set