First International Competition on Runtime Verification: Rules, Benchmarks, Tools, and Final results of CRV 2014
Published in International Journal on Software Tools for Technology Transfer, 2017
Recommended citation: Bartocci, E., Falcone, Y., Bonakdarpour, B. et al. International Journal Software Tools Technology Transfer (2019) 21: 31. https://doi.org/10.1007/s10009-017-0454-5. https://link.springer.com/article/10.1007/s10009-017-0454-5
The first international Competition on Runtime Verification (CRV) was held in September 2014, in Toronto, Canada, as a satellite event of the 14th international conference on Runtime Verification (RV’14). The event was organized in three tracks: (1) offline monitoring, (2) online monitoring of C programs, and (3) online monitoring of Java programs. In this paper, we report on the phases and rules, a description of the participating teams and their submitted benchmark, the (full) results, as well as the lessons learned from the competition.
Recommended citation: Bartocci, E., Falcone, Y., Bonakdarpour, B. et al. International Journal Software Tools Technology Transfer (2019) 21: 31. https://doi.org/10.1007/s10009-017-0454-5.