EndWatch: A Practical Method for Detecting Non-Termination in Real-World Software.
Yao ZhangXiaofei XieYi LiSen ChenCen ZhangXiaohong LiPublished in: ASE (2023)
Keyphrases
- real world
- synthetic data
- computational cost
- high accuracy
- experimental study
- detection method
- significant improvement
- cost function
- dynamic programming
- classification method
- preprocessing
- experimental evaluation
- high precision
- neural network
- theoretical analysis
- clustering method
- mutual information
- term rewrite systems
- fully automatic
- machine learning
- error rate
- similarity measure
- feature set
- classification accuracy
- learning algorithm
- multiscale