First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014 - Archive ouverte HAL Access content directly
Journal Articles International Journal on Software Tools for Technology Transfer Year : 2017

First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014

(1) , (2, 3) , (4) , (5) , (6) , (7) , (8) , (9) , (10) , (11) , (3) , (12) , (6) , (13) , (3)
1
2
3
4
5
6
7
8
9
10
11
12
13

Abstract

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.

Dates and versions

cea-01845191 , version 1 (20-07-2018)

Identifiers

Cite

E. Bartocci, Y. Falcone, B. Bonakdarpour, C. Colombo, N. Decker, et al.. First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014. International Journal on Software Tools for Technology Transfer, 2017, pp.1-40. ⟨10.1007/s10009-017-0454-5⟩. ⟨cea-01845191⟩
30 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More