First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014
- Bartocci, Ezio
- Falcone, Yliès
- Bonakdarpour, Borzoo
- Colombo, Christian
- Decker, Normann
- Havelund, Klaus
- Joshi, Yogi
- Klaedtke, Felix
- Milewicz, Reed
- Reger, Julia
- Rosu, Grigore
- Signoles, Julien
- Thoma, Daniel
- Zalinescu, Eugen
- Zhang, Yi
Publication date
February 2019
DOI Publisher
Springer Science and Business Media LLCAbstract
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.ISSN:1433-2779ISSN:1433-278