Results of the RERS 2012 Challenge

The RERS 2012 Challenge has ended during ISoLA 2012. On this page, we present the results of all five contestants. In order to provide a more fine-grained view on the results, we offer the possibility to customize the evaluation process, allowing visitors to investigate the specific strengths of the competing approaches.


Awards

The medalists of the RERS 2012 Challenge are:

1. Jaco van de Pol
University of Twente, Netherlands

2. Pascal Cuoq, Virgile Prevosto, Boris Yakobowski
CEA List, France

3. Markus Schordan, Adrian Prantl
Technikum Wien, Austria / Lawrence Livermore National Laboratories, USA

In addition, Markus Schordan and Adrian Prantl were awarded the Method Combination Prize in recognition of their approach being unique in that it combined white-box analysis techniques with black-box testing methods.

Notably, the team of Dirk Beyer, Andreas Stahlbauer and Peter Häring (University of Passau, Germany) did not give a single incorrect answer, making them the only team with a correct answer ratio of 100%. As a consequence, we decided to introduce a system of achievements to the RERS 2013 Challenge in order to honor such special and impressive results.


Scores

RankNameScoreTotal answersWrong answers% correct
1Twente2519024375297.9%
2Paris1310414861099.3%
3Vienna84339383696.2%
4Passau58235980100.0%
5Southampton50617051697.7%

Click here to customize the evaluation process.


Complete List of Participants

  • Passau
    Dirk Beyer, Andreas Stahlbauer, Peter Häring
    University of Passau, Germany
  • Twente
    Jaco van de Pol
    University of Twente, Netherlands
  • Vienna
    Markus Schordan, Adrian Prantl
    Technikum Wien, Austria / Lawrence Livermore National Laboratory, USA
  • Southampton
    Jeremy Morse, Lucas Cordeiro, Denis Nicole, Bernd Fischer
    University of Southampton, UK / Federal University of Amazonas, Brazil
    Offline participation only
  • Paris
    Pascal Cuoq, Virgile Prevosto, Boris Yakobowski
    CEA LIST, France
    Offline participation only