Online runtime verification competitions: How to possibly deal with their issues (Position paper)

Julien Signoles (1)

1 LSL - Laboratoire Sûreté des Logiciels

This short paper presents a compilation of feedback about online runtime verification competitions from an active contestant. In particular, it points out several issues and how they could possibly be fixed.

Mots clés: online runtime verification; tool competitions; benchmarks

Domaines: Informatique [cs]

Julien Signoles. Online runtime verification competitions: How to possibly deal with their issues (Position paper). RV-CuBES 2017 - International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools, Sep 2017, Manchester, United Kingdom. ⟨10.29007/44MK⟩. ⟨cea-04469431⟩