Download PDFOpen PDF in browserOnline Runtime Verification Competitions: How To Possibly Deal With Their Issues (position paper)7 pages•Published: December 14, 2017AbstractThis 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.Keyphrases: benchmarks, online runtime verification, tool competitions In: Giles Reger and Klaus Havelund (editors). RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools, vol 3, pages 157-163.
|