A Detecting Method of Array Bounds Defects Based on Symbolic Execution.

Chun Shan Shiyou Sun Jingfeng Xue Changzhen Hu Hongjin Zhu

Published in: NSS (2017)

Keyphrases

data sets
artificial intelligence
database systems
objective function
neural network
training data
knowledge management
particle swarm optimization
error rate
convergence rate