On Benchmarking the Capability of Symbolic Execution Tools with Logic Bombs.

Hui Xu Zirui Zhao Yangfan Zhou Michael R. Lyu

Published in: CoRR (2017)

Keyphrases

symbolic execution
test data generation
building blocks
specification language
test generation
static analysis
source code
data sets
neural network
training data
search space
evolutionary algorithm