Enhancing reuse of constraint solutions to improve symbolic execution.

Xiangyang Jia Carlo Ghezzi Shi Ying

Published in: ISSTA (2015)

Keyphrases

symbolic execution
static analysis
data sets
neural network
genetic algorithm
artificial intelligence
test data generation