{"user_id":"49109","_id":"10207","date_created":"2019-06-07T15:27:47Z","language":[{"iso":"eng"}],"date_updated":"2022-01-06T06:50:31Z","year":"2017","type":"conference","page":"23-26","publication":"Proc. 3rd ACM SIGSOFT Int. I Workshop on Software Analytics (SWAN@ESEC/SIGSOFT FSE 2017","department":[{"_id":"34"},{"_id":"7"},{"_id":"355"}],"citation":{"apa":"Czech, M., Hüllermeier, E., Jakobs, M.-C., &#38; Wehrheim, H. (2017). Predicting rankings of software verification tools. In <i>Proc. 3rd ACM SIGSOFT Int. I Workshop on Software Analytics (SWAN@ESEC/SIGSOFT FSE 2017</i> (pp. 23–26).","short":"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.","mla":"Czech, M., et al. “Predicting Rankings of Software Verification Tools.” <i>Proc. 3rd ACM SIGSOFT Int. I Workshop on Software Analytics (SWAN@ESEC/SIGSOFT FSE 2017</i>, 2017, pp. 23–26.","chicago":"Czech, M., Eyke Hüllermeier, M.-C. Jakobs, and Heike Wehrheim. “Predicting Rankings of Software Verification Tools.” In <i>Proc. 3rd ACM SIGSOFT Int. I Workshop on Software Analytics (SWAN@ESEC/SIGSOFT FSE 2017</i>, 23–26, 2017.","ieee":"M. Czech, E. Hüllermeier, M.-C. Jakobs, and H. Wehrheim, “Predicting rankings of software verification tools,” in <i>Proc. 3rd ACM SIGSOFT Int. I Workshop on Software Analytics (SWAN@ESEC/SIGSOFT FSE 2017</i>, 2017, pp. 23–26.","ama":"Czech M, Hüllermeier E, Jakobs M-C, Wehrheim H. Predicting rankings of software verification tools. In: <i>Proc. 3rd ACM SIGSOFT Int. I Workshop on Software Analytics (SWAN@ESEC/SIGSOFT FSE 2017</i>. ; 2017:23-26.","bibtex":"@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} }"},"status":"public","author":[{"last_name":"Czech","full_name":"Czech, M.","first_name":"M."},{"first_name":"Eyke","id":"48129","full_name":"Hüllermeier, Eyke","last_name":"Hüllermeier"},{"first_name":"M.-C.","full_name":"Jakobs, M.-C.","last_name":"Jakobs"},{"id":"573","full_name":"Wehrheim, Heike","last_name":"Wehrheim","first_name":"Heike"}],"title":"Predicting rankings of software verification tools"}