Predicting rankings of software verification tools
Mike Czech, Eyke Hüllermeier, Marie-Christine Jakobs, Heike Wehrheim · 2017
Today, software verification tools have reached the maturity to be used for large scale programs. Different tools perform differently well on varying code. A software developer is hence faced with the problem of choosing a tool appropriate for her program at hand. A ranking of tools on programs could facilitate the choice. Such rankings can, however, so far only be obtained by running all considered tools on the program.