Can I read Predicting Rankings of Software Verification Tools on EtoBox?

Predicting Rankings of Software Verification Tools by Mike Czech; Eyke Hüllermeier; Marie-Christine Jakobs; Heike Wehrheim is a scholarly article available to read on EtoBox.

What is Predicting Rankings of Software Verification Tools about?

Software verification,machine learning,ranking. - Computing methodologies -> Ranking; Support vector machines; Cross-validation; - Software and its engineering -> Software verification; Formal software verification;

Author

Mike Czech; Eyke Hüllermeier; Marie-Christine Jakobs; Heike Wehrheim

Publisher

ACM

Published

2017