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.
Download
No fulltext has been uploaded.
Conference Paper
| English
Author
Czech, M.;
Hüllermeier, EykeLibreCat;
Jakobs, M.-C.;
Wehrheim, HeikeLibreCat
Department
Publishing Year
Proceedings Title
Proc. 3rd ACM SIGSOFT Int. I Workshop on Software Analytics (SWAN@ESEC/SIGSOFT FSE 2017
Page
23-26
LibreCat-ID
Cite this
Czech M, Hüllermeier E, Jakobs M-C, Wehrheim H. Predicting rankings of software verification tools. In: Proc. 3rd ACM SIGSOFT Int. I Workshop on Software Analytics (SWAN@ESEC/SIGSOFT FSE 2017. ; 2017:23-26.
Czech, M., Hüllermeier, E., Jakobs, M.-C., & Wehrheim, H. (2017). Predicting rankings of software verification tools. In Proc. 3rd ACM SIGSOFT Int. I Workshop on Software Analytics (SWAN@ESEC/SIGSOFT FSE 2017 (pp. 23–26).
@inproceedings{Czech_Hüllermeier_Jakobs_Wehrheim_2017, title={Predicting rankings of software verification tools}, booktitle={Proc. 3rd ACM SIGSOFT Int. I Workshop on Software Analytics (SWAN@ESEC/SIGSOFT FSE 2017}, author={Czech, M. and Hüllermeier, Eyke and Jakobs, M.-C. and Wehrheim, Heike}, year={2017}, pages={23–26} }
Czech, M., Eyke Hüllermeier, M.-C. Jakobs, and Heike Wehrheim. “Predicting Rankings of Software Verification Tools.” In Proc. 3rd ACM SIGSOFT Int. I Workshop on Software Analytics (SWAN@ESEC/SIGSOFT FSE 2017, 23–26, 2017.
M. Czech, E. Hüllermeier, M.-C. Jakobs, and H. Wehrheim, “Predicting rankings of software verification tools,” in Proc. 3rd ACM SIGSOFT Int. I Workshop on Software Analytics (SWAN@ESEC/SIGSOFT FSE 2017, 2017, pp. 23–26.
Czech, M., et al. “Predicting Rankings of Software Verification Tools.” Proc. 3rd ACM SIGSOFT Int. I Workshop on Software Analytics (SWAN@ESEC/SIGSOFT FSE 2017, 2017, pp. 23–26.
Google Scholar