Communication publiée dans un ouvrage (Colloques, congrès, conférences scientifiques et actes)
On the Risk of Tool Over-tuning in Runtime Verification Competitions
BIANCULLI, Domenico; Krstic, Srdan
2017 • In Proceedings of RV-CUBES 2017: an International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools
Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Software Verification and Validation Lab (SVV Lab)
Disciplines :
Sciences informatiques
Auteur, co-auteur :
BIANCULLI, Domenico ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Krstic, Srdan
Co-auteurs externes :
yes
Langue du document :
Anglais
Titre :
On the Risk of Tool Over-tuning in Runtime Verification Competitions
Date de publication/diffusion :
14 décembre 2017
Nom de la manifestation :
International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools (RV-Cubes 2017)
Date de la manifestation :
15-09-2017
Manifestation à portée :
International
Titre de l'ouvrage principal :
Proceedings of RV-CUBES 2017: an International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools
