Please use this identifier to cite or link to this item:
https://www.um.edu.mt/library/oar/handle/123456789/91306| Title: | First international competition on runtime verification : rules, benchmarks, tools, and final results of CRV 2014 |
| 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 |
| Keywords: | Computer software -- Verification Computer software -- Security measures Software engineering Software competition |
| Issue Date: | 2019 |
| Publisher: | Springer |
| Citation: | Bartocci, E., Falcone, Y., Bonakdarpour, B., Colombo, C., Decker, N., Havelund, K.,…Zhang, Y. (2019). First international competition on runtime verification : rules, benchmarks, tools, and final results of CRV 2014. International Journal on Software Tools for Technology Transfer, 21, 31-70. |
| 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. |
| URI: | https://www.um.edu.mt/library/oar/handle/123456789/91306 |
| Appears in Collections: | Scholarly Works - FacICTCS |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| First_international_competition_on_runtime_verification_rules_benchmarks_tools_and_final_results_of_CRV_2014_2019.pdf | 1.1 MB | Adobe PDF | View/Open |
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.