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

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

doi:10.1007/s10009-017-0454-5

Record link:

https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:3-4142
http://hdl.handle.net/20.500.12708/51

Title:

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

Citation:

Bartocci, E., Falcone, Y., Bonakdarpour, B., Colombo, C., Decker, N., Havelund, K., Joshi, Y., Klaedtke, F., Milewicz, R., Reger, G., Rosu, G., Signoles, J., Thoma, D., Zalinescu, E., & 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. https://doi.org/10.1007/s10009-017-0454-5

Publisher DOI:

10.1007/s10009-017-0454-5

CatalogPlus:

AC15187487

Publication Type:

Article - Original Research Article

Language:

English

Organisational Unit:

E191 - Institut für Computer Engineering

Journal:

International Journal on Software Tools for Technology Transfer

ISSN:

1433-2779

Date (published):

2019

Number of Pages:

Publisher:

SPRINGER HEIDELBERG

Peer reviewed:

Yes

Keywords:

Runtime Verification; Software competition; Monitoring; Benchmarks

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.

License:

CC BY 4.0