Third International Competition on Runtime Verification CRV 2016

Abstract : We report on the Third International Competition on Run-time Verification (CRV-2016). The competition was held as a satellite event of the 16th International Conference on Runtime Verification (RV'16). The competition consisted of two tracks: offline monitoring of traces and online monitoring of Java programs. The intention was to also include a track on online monitoring of C programs but there were too few participants to proceed with this track. This report describes the format of the competition, the participating teams, the submitted benchmarks and the results. We also describe our experiences with transforming trace formats from other tools into the standard format required by the competition and report on feedback gathered from current and past participants and use this to make suggestions for the future of the competition.
Type de document :
Communication dans un congrès
Sixteenth International Conference on Runtime Verification, Sep 2016, Madrid, Spain
Liste complète des métadonnées

Littérature citée [17 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01428834
Contributeur : Yliès Falcone <>
Soumis le : vendredi 6 janvier 2017 - 15:38:20
Dernière modification le : mercredi 11 avril 2018 - 01:53:33
Document(s) archivé(s) le : vendredi 7 avril 2017 - 15:04:55

Fichier

rv16-1.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01428834, version 1

Collections

Citation

Giles Reger, Sylvain Hallé, Yliès Falcone. Third International Competition on Runtime Verification CRV 2016. Sixteenth International Conference on Runtime Verification, Sep 2016, Madrid, Spain. 〈hal-01428834〉

Partager

Métriques

Consultations de la notice

273

Téléchargements de fichiers

52