Keyword:run-time verification

Publications
On the Risk of Tool Over-tuning in Run-time Verification Competitions (position paper) Domenico Bianculli and Srdjan Krstic In:RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools