C++TESK-Related Publications » History » Version 3
Alexander Kamkin, 07/27/2013 09:41 AM
| 1 | 1 | Alexander Kamkin | h1. C++TESK-Related Publications |
|---|---|---|---|
| 2 | |||
| 3 | h2. 2010 |
||
| 4 | |||
| 5 | h2. 2011 |
||
| 6 | |||
| 7 | h2. 2012 |
||
| 8 | |||
| 9 | h2. 2013 |
||
| 10 | 2 | Alexander Kamkin | |
| 11 | 3 | Alexander Kamkin | 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":http://arxiv.org/abs/1303.1010). |
| 12 | 2 | Alexander Kamkin | |
| 13 | 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. |