[LiLLSTZ20] SVMRanker: A General Termination Analysis Framework of Loop Programs via SVM Li, X.; Li, Y.; Li, Y.; Sun, X.; Turrini, A. and Zhang, L. In ESEC/FSE, pages 1635-1639, ACM, 2020.
Downloads: bibURL: https://doi.org/10.1145/3368089.3417930