Abstract
We report on the Third International Competition on Runtime Verification (CRV-2016). The competition was held as a satellite event of the 16th International Conference on Runtime Verification (RV’16). The competition consisted of two tracks: offline monitoring of traces and online monitoring of Java programs. The intention was to also include a track on online monitoring of C programs but there were too few participants to proceed with this track. This report describes the format of the competition, the participating teams, the submitted benchmarks and the results.We also describe our experiences with transforming trace formats from other tools into the standard format required by the competition and report on feedback gathered from current and past participants and use this to make suggestions for the future of the competition.
Cite
CITATION STYLE
Reger, G., Hallé, S., & Falcone, Y. (2016). Third international competition on runtime verification CRV 2016. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 10012 LNCS, pp. 21–37). Springer Verlag. https://doi.org/10.1007/978-3-319-46982-9_3
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
