Symbolic Execution for Randomized Programs.

Zachary Susag Sumit Lahiri Justin Hsu Subhajit Roy

Published in: CoRR (2022)

Keyphrases

symbolic execution
test data generation
test generation
static analysis
specification language
source code
data flow
training data
optimization algorithm
test cases
simulated annealing algorithm
case study
formal specification