First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014.
Ezio BartocciYliès FalconeBorzoo BonakdarpourChristian ColomboNormann DeckerKlaus HavelundYogi JoshiFelix KlaedtkeReed MilewiczGiles RegerGrigore RosuJulien SignolesDaniel ThomaEugen ZalinescuYi ZhangPublished in: Int. J. Softw. Tools Technol. Transf. (2019)