First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014
OPEN ACCESS
Loading...
Author / Producer
Date
2019-02
Publication Type
Journal Article
ETH Bibliography
yes
Citations
Altmetric
OPEN ACCESS
Data
Rights / License
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.
Permanent link
Publication status
published
External links
Editor
Book title
Volume
21 (1)
Pages / Article No.
31 - 70
Publisher
Springer
Event
Edition / version
Methods
Software
Geographic location
Date collected
Date created
Subject
Benchmarks; Monitoring; Runtime Verification; Software competition