基于数据流分析的单链表可达性自动化验证 (Automatic Verification of Singly Linked List Pointer's Reachability Property Using Data-flow Analysis Method).
Yuchen DongHanfei WangJianhua ZhaoPublished in: 计算机科学 (2015)
Keyphrases
- synthetic data
- detection method
- input data
- flow analysis
- test data
- pairwise
- data sets
- data collection
- high accuracy
- image data
- data structure
- high quality
- preprocessing
- database
- prior knowledge
- noisy data
- statistical methods
- data sources
- training data
- linked list
- missing data
- knowledge discovery
- significant improvement
- data processing
- objective function
- feature set
- correlation analysis
- social networks
- information loss
- dynamic programming
- data analysis
- data streams
- original data
- learning algorithm
- segmentation method
- feature selection
- clustering method
- training samples