Segmental Symbolic Execution Based on Clustering.

Rui Ma Haoran Gao Bowen Dou Xiajing Wang Changzhen Hu

Published in: SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI (2019)

Keyphrases

symbolic execution
clustering algorithm
test data generation
static analysis
hidden markov models
specification language
test generation
decision trees
search algorithm
source code
data flow
genetic algorithm
general purpose