Symbolic execution for randomized programs.

Zachary Susag Sumit Lahiri Justin Hsu Subhajit Roy

Published in: Proc. ACM Program. Lang. (2022)

Keyphrases

symbolic execution
static analysis
test generation
test data generation
source code
specification language
data flow
case study
test cases
data sets
neural network
web services
database systems
software systems
simulated annealing algorithm