Xie Li, Yi Li, Yong Li, Xuechao Sun, Andrea Turrini, Lijun Zhang. SVMRanker: a general termination analysis framework of loop programs via SVM. In Prem Devanbu, Myra B. Cohen, Thomas Zimmermann 0001, editors, ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Virtual Event, USA, November 8-13, 2020. pages 1635-1639, ACM, 2020. [doi]
Abstract is missing.