Publication

[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, 2020.
Downloads: bib