Concrete Constraint Guided Symbolic Execution.

Yue Sun Guowei Yang Shichao Lv Zhi Li Limin Sun

Published in: ICSE (2024)

Keyphrases

symbolic execution
static analysis
test generation
test data generation
source code
specification language
data flow
real world
database
data sets
neural network
decision trees
relational databases
general purpose
open source
genetic programming