COEMS - open traces from the industry

Svetlana Jaksic, Martin Leucker, Dan Li, Volker Stolz. COEMS - open traces from the industry. In Giles Reger, Klaus Havelund, editors, RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools, September 15, 2017, Seattle, WA, USA. Volume 3 of Kalpa Publications in Computing, pages 96-105, EasyChair, 2017. [doi]


Abstract is missing.