Predicting rankings of software verification tools
M. Czech, E. Hüllermeier, M.C. Jacobs, H. Wehrheim, in: In Proceedings ESEC/FSE Workshops 2017 - 3rd ACM SIGSOFT, International Workshop on Software Analytics (SWAN 2017), Paderborn Germany, 2017.
Download
No fulltext has been uploaded.
Conference Paper
| English
Author
Czech, M.;
Hüllermeier, EykeLibreCat;
Jacobs, M.C.;
Wehrheim, Heike
Department
Publishing Year
Proceedings Title
in Proceedings ESEC/FSE Workshops 2017 - 3rd ACM SIGSOFT, International Workshop on Software Analytics (SWAN 2017), Paderborn Germany
LibreCat-ID
Cite this
Czech M, Hüllermeier E, Jacobs MC, Wehrheim H. Predicting rankings of software verification tools. In: In Proceedings ESEC/FSE Workshops 2017 - 3rd ACM SIGSOFT, International Workshop on Software Analytics (SWAN 2017), Paderborn Germany. ; 2017.
Czech, M., Hüllermeier, E., Jacobs, M. C., & Wehrheim, H. (2017). Predicting rankings of software verification tools. In in Proceedings ESEC/FSE Workshops 2017 - 3rd ACM SIGSOFT, International Workshop on Software Analytics (SWAN 2017), Paderborn Germany.
@inproceedings{Czech_Hüllermeier_Jacobs_Wehrheim_2017, title={Predicting rankings of software verification tools}, booktitle={in Proceedings ESEC/FSE Workshops 2017 - 3rd ACM SIGSOFT, International Workshop on Software Analytics (SWAN 2017), Paderborn Germany}, author={Czech, M. and Hüllermeier, Eyke and Jacobs, M.C. and Wehrheim, Heike}, year={2017} }
Czech, M., Eyke Hüllermeier, M.C. Jacobs, and Heike Wehrheim. “Predicting Rankings of Software Verification Tools.” In In Proceedings ESEC/FSE Workshops 2017 - 3rd ACM SIGSOFT, International Workshop on Software Analytics (SWAN 2017), Paderborn Germany, 2017.
M. Czech, E. Hüllermeier, M. C. Jacobs, and H. Wehrheim, “Predicting rankings of software verification tools,” in in Proceedings ESEC/FSE Workshops 2017 - 3rd ACM SIGSOFT, International Workshop on Software Analytics (SWAN 2017), Paderborn Germany, 2017.
Czech, M., et al. “Predicting Rankings of Software Verification Tools.” In Proceedings ESEC/FSE Workshops 2017 - 3rd ACM SIGSOFT, International Workshop on Software Analytics (SWAN 2017), Paderborn Germany, 2017.
Google Scholar