Summary-guided incremental symbolic execution.

Qiuping Yi Junye Wen Guowei Yang

Published in: ICSE (Companion Volume) (2020)

Keyphrases

genetic algorithm
symbolic execution
test data generation
static analysis
test generation
simulated annealing algorithm
source code
specification language
data flow
neural network
particle swarm optimization
data sets
metadata
software development