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