Algorithm selection for software verification based on adversarial LSTM.
Qiang WangJiawei JiangYongxin ZhaoWeipeng CaoChunjiang WangShengdong LiPublished in: BigDataSecurity (2021)
Keyphrases
- dynamic programming
- detection algorithm
- selection algorithm
- computational complexity
- high accuracy
- search space
- cost function
- segmentation algorithm
- theoretical analysis
- preprocessing
- computational cost
- experimental evaluation
- improved algorithm
- learning algorithm
- monte carlo
- simulated annealing
- input data
- computationally efficient
- classification algorithm
- memory requirements
- selection strategy
- single pass
- convergence rate
- path planning
- graph cuts
- state space
- multi objective
- significant improvement