C++TESK-Related Publications » History » Revision 3
Revision 2 (Alexander Kamkin, 07/27/2013 09:40 AM) → Revision 3/12 (Alexander Kamkin, 07/27/2013 09:41 AM)
h1. C++TESK-Related Publications h2. 2010 h2. 2011 h2. 2012 h2. 2013 M. Chupilko, A. Kamkin. _*Runtime _Runtime Verification Based on Executable Models: On-the-Fly Matching of Timed Traces*_, Traces_, Proceedings of the 8 ^th^ Workshop on Model-Based Testing (MBT), Rome, Italy, 2013 ("arXiv:1303.1010":http://arxiv.org/abs/1303.1010). bq. 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":http://forge.ispras.ru/projects/cpptesk-toolkit.