Title: First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014
Language: English
Authors: Bartocci, Ezio  
Falcone, Yliès 
Bonakdarpour, Borzoo 
Colombo, Christian 
Decker, Normann 
Havelund, Klaus 
Joshi, Yogi 
Klaedtke, Felix 
Milewicz, Reed 
Reger, Giles 
Rosu, Grigore 
Signoles, Julien 
Thoma, Daniel 
Zalinescu, Eugen 
Zhang, Yi 
Category: Original Research Article
Issue Date: 2017
Journal: International Journal on Software Tools for Technology Transfer 
ISSN: 1433-2779
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.
Keywords: Runtime Verification; Software competition; Monitoring; Benchmarks
DOI: 10.1007/s10009-017-0454-5
Library ID: AC15187487
URN: urn:nbn:at:at-ubtuw:3-4142
Organisation: E191 - Institut für Computer Engineering 
Publication Type: Article
Appears in Collections:Article

Files in this item:

Show full item record

Page view(s)

checked on Jun 10, 2021


checked on Jun 10, 2021

Google ScholarTM


This item is licensed under a Creative Commons License Creative Commons