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

Ezio Bartocci, Yliès Falcone, Borzoo Bonakdarpour, Christian Colombo, Normann Decker, Klaus Havelund, Yogi Joshi, Felix Klaedtke, Reed Milewicz, Giles Reger, Grigore Rosu, Julien Signoles, Daniel Thoma, Eugen Zalinescu, Yi Zhang

Research output: Contribution to journalArticle

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.

Original languageEnglish (US)
Pages (from-to)31-70
Number of pages40
JournalInternational Journal on Software Tools for Technology Transfer
Volume21
Issue number1
DOIs
StatePublished - Feb 6 2019

Keywords

  • Benchmarks
  • Monitoring
  • Runtime Verification
  • Software competition

ASJC Scopus subject areas

  • Software
  • Information Systems

Fingerprint Dive into the research topics of 'First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014'. Together they form a unique fingerprint.

  • Cite this

    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(1), 31-70. https://doi.org/10.1007/s10009-017-0454-5