Sign in

SVMRanker: a general termination analysis framework of loop programs via SVM.

Xie LiYi LiYong LiXuechao SunAndrea TurriniLijun Zhang
Published in: ESEC/SIGSOFT FSE (2020)
Keyphrases
  • termination analysis
  • knn
  • abstract interpretation
  • databases
  • support vector
  • database
  • relational databases