Sign in
Machine learning steered symbolic execution framework for complex software code.
Lei Bu
Yongjuan Liang
Zhunyi Xie
Hong Qian
Yi-Qi Hu
Yang Yu
Xin Chen
Xuandong Li
Published in:
Formal Aspects Comput. (2021)
Keyphrases
</>
machine learning
symbolic execution
static analysis
source code
high level
search algorithm
software systems
data sets
artificial intelligence
decision trees
general purpose
software architecture
test data generation