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
; ; ;
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.

Export

Marked Publications

Open Data LibreCat

Search this title in

Google Scholar