C++TESK-Related Publications¶

2010¶

2011¶

2012¶

2013¶

M. Chupilko, A. Kamkin. Runtime Verification Based on Executable Models: On-the-Fly Matching of Timed Traces, Proceedings of the 8 ^th Workshop on Model-Based Testing (MBT), Rome, Italy, 2013 (arXiv:1303.1010).

The paper studies on-the-fly conformance relations for timed systems (including, first of all, HDL models) and describes a practice-oriented methodology for creating and configuring monitors (test oracles) based on executable models (reference models). Actually, the paper formalizes the reaction checking approach used in C++TESK.