Zur Seitenansicht
 

Titelaufnahme

Titel
First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014
Verfasser / Verfasserin 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
Erschienen in
International Journal on Software Tools for Technology Transfer, 2017,, S. 1-40
ErschienenSpringer Nature, 2017
SpracheEnglisch
DokumenttypAufsatz in einer Zeitschrift
Schlagwörter (EN)Runtime Verification / Software competition / Monitoring / Benchmarks
Projekt-/ReportnummerICT COST Action: IC1402 Runtime Verification beyond Monitoring (ARVI) ; Austrian FFG project HARMONIA: No. 845631 ; Austrian National Research Network: S 11405-N23
URNurn:nbn:at:at-ubtuw:3-4142 Persistent Identifier (URN)
DOI10.1007/s10009-017-0454-5 
Zugriffsbeschränkung
 Das Werk ist frei verfügbar
Dateien
First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014 [1.37 mb]
Links
Nachweis
Klassifikation
Zusammenfassung (Englisch)

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 (RV14). 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.

Statistik
Das PDF-Dokument wurde 7 mal heruntergeladen.
Lizenz
CC-BY-Lizenz (4.0)Creative Commons Namensnennung 4.0 International Lizenz