@inproceedings{BianculliK17, author = {Domenico Bianculli and Sr{\dj}an Krsti{\'c}}, editor = {Giles Reger and Klaus Havelund}, title = {On the Risk of Tool Over-tuning in Run-time Verification Competitions (position paper)}, booktitle = {An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools {(RV-CuBES)}}, series = {Kalpa Publications in Computing}, volume = {3}, pages = {37--40}, publisher = {EasyChair}, year = {2017}, url = {http://www.easychair.org/publications/paper/N6cC}, }