First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014
Copyright policy )First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014
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.
International Journal on Software Tools for Technology Transfer, 21 (1)
ISSN:1433-2779
ISSN:1433-2787
- French National Centre for Scientific Research France
- University of Illinois at Urbana Champaign United States
- University of Salford United Kingdom
- Grenoble Alpes University France
- University of Paris-Saclay France
Computer software -- Security measures, Off-line monitoring, Canada, Online monitoring, International competitions, Monitoring, Participating teams, Runtime Verification, [INFO] Computer Science [cs], Computer software -- Verification, Run-time verification, [INFO]Computer Science [cs], Computer software, Software engineering, C programs, Competition, Benchmarks, Verification, Toronto, 004, Benchmarking, Software competition, Partial discharges, C (programming language), Benchmarks; Monitoring; Runtime Verification; Software competition, Software, Java program, Information Systems
Computer software -- Security measures, Off-line monitoring, Canada, Online monitoring, International competitions, Monitoring, Participating teams, Runtime Verification, [INFO] Computer Science [cs], Computer software -- Verification, Run-time verification, [INFO]Computer Science [cs], Computer software, Software engineering, C programs, Competition, Benchmarks, Verification, Toronto, 004, Benchmarking, Software competition, Partial discharges, C (programming language), Benchmarks; Monitoring; Runtime Verification; Software competition, Software, Java program, Information Systems
selected citations These citations are derived from selected sources.This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).52 popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.Top 10% influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).Top 10% impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.Top 1%
Citations provided by BIP!Popularity provided by BIP!