EndWatch: A Practical Method for Detecting Non-Termination in Real-World Software.
Yao ZhangXiaofei XieYi LiSen ChenCen ZhangXiaohong LiPublished in: CoRR (2023)
Keyphrases
- real world
- computational cost
- synthetic data
- high precision
- dynamic programming
- data sets
- detection method
- main contribution
- fully automatic
- wide range
- experimental evaluation
- high accuracy
- mutual information
- data mining
- computationally efficient
- evaluation method
- experimental study
- clustering method
- detection algorithm
- support vector machine svm
- theoretical analysis
- input data
- edge detection
- multiscale
- decision trees
- learning algorithm