Signature-Based Method of Deciding Program Termination.

Yaohui Li Yuqing Song Zhifeng Wu

Published in: ASCM (2012)

Keyphrases

main contribution
detection method
detection algorithm
feature selection
classification method
prior knowledge

mutual information
data sets
computationally efficient
model selection
evaluation method

high precision
segmentation method
error rate
clustering method
support vector machine

classification accuracy
experimental evaluation
artificial neural networks
objective function
neural network