Login / Signup
Program Vulnerability Mining System based on Symbolic Execution.
Bailin Xie
Qi Li
Jiabin Luo
Published in:
ICIIT (2022)
Keyphrases
</>
symbolic execution
static analysis
test generation
test data generation
specification language
source code
data flow
test cases
software testing
database
neural network
data model
quality control
simulated annealing algorithm