TY - JOUR
T1 - First international Competition on Runtime Verification
T2 - rules, benchmarks, tools, and final results of CRV 2014
AU - Bartocci, Ezio
AU - Falcone, Yliès
AU - Bonakdarpour, Borzoo
AU - Colombo, Christian
AU - Decker, Normann
AU - Havelund, Klaus
AU - Joshi, Yogi
AU - Klaedtke, Felix
AU - Milewicz, Reed
AU - Reger, Giles
AU - Rosu, Grigore
AU - Signoles, Julien
AU - Thoma, Daniel
AU - Zalinescu, Eugen
AU - Zhang, Yi
N1 - Publisher Copyright:
© 2017, The Author(s).
PY - 2019/2/6
Y1 - 2019/2/6
N2 - 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.
AB - 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.
KW - Benchmarks
KW - Monitoring
KW - Runtime Verification
KW - Software competition
U2 - 10.1007/s10009-017-0454-5
DO - 10.1007/s10009-017-0454-5
M3 - Article
AN - SCOPUS:85017167481
SN - 1433-2779
VL - 21
SP - 31
EP - 70
JO - International Journal on Software Tools for Technology Transfer
JF - International Journal on Software Tools for Technology Transfer
IS - 1
ER -