Predicting rankings of software verification tools.

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

Published in: SWAN@ESEC/SIGSOFT FSE (2017)

Keyphrases

software tools
databases
search algorithm
hidden markov models
learning systems
database
data mining
information retrieval
artificial intelligence
end users
building blocks