On the Risk of Tool Over-tuning in Run-time Verification Competitions (position paper).

Domenico Bianculli, Srdjan Krstic

Browse the full RV paper archive.