Predicting Rankings of Software Verification Competitions.

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

Published in: CoRR (2017)

Keyphrases

databases
real time
database
neural network
website
data structure
multimedia
web services
high quality
rank correlation