C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Selective Symbolization Based Efficient Symbolic Execution.
Yang Liu
Guofeng Zhang
Zhenbang Chen
Ziqi Shuai
Published in:
QRS Companion (2021)
Keyphrases
</>
symbolic execution
static analysis
genetic algorithm
multi objective
data sets
evolutionary algorithm
software engineering
test data generation