Predicting rankings of software verification tools
M. Czech, E. Hüllermeier, M.-C. Jakobs, H. Wehrheim, in: Proc. 3rd ACM SIGSOFT Int. I Workshop on Software Analytics (SWAN@ESEC/SIGSOFT FSE 2017, 2017, pp. 23–26.