Электронная библиотека (репозиторий) Томского государственного университета
Yevtushenko, Nina V. | 2016

Add to Quick Collection   All 5 Results

Showing items 1 - 5 of 5.
  • «
  • ←
  • 1
  • →
  • »
Sort:
 Add All Items to Quick Collection
Add   Improving protocol passive testing through "Gedanken" experiments with finite state machines
Authors: Kushik, Natalia G. | Cavalli, Ana | Yevtushenko, Nina V. | López, Jorge
Source: 2016 IEEE International Conference on Software Quality, Reliability and Security (QRS), 1-3 August 2016, Vienna, Austria. [S. l.], 2016. P. 315-322
Type: статьи в сборниках
Date: 2016
Add   On source code optimization for interpreted languages using state models
Authors: López, Jorge | Kushik, Natalia G. | Yevtushenko, Nina V.
Source: ENASE 2016 : proceedings of the 11th International conference on evaluation of novel software approaches to software engineering, Rome, Italy, April 27-28, 2016. Setúbal, 2016. P. 282-287
Type: статьи в сборниках
Date: 2016
Add   Reducing the complexity of checking the existence and derivation of adaptive synchronizing experiments for nondeterministic FSMs
Authors: Kushik, Natalia G. | Yevtushenko, Nina V. | Yenigün, Hüsnü
Source: Proceedings of the International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn (AMARETTO 2016), 19 February, 2016, Rome, Italy. [S. l.], 2016. P. 83-90
Type: статьи в сборниках
Date: 2016
Add   Some classes of finite state machines with polynomial length of distinguishing test cases
Authors: Yenigün, Hüsnü | Yevtushenko, Nina V. | Kushik, Natalia G.
Source: Proceedings of the 31st Annual ACM Symposium on Applied Computing, Pisa, Italy, April 04-08, 2016. NY, 2016. P. 1680-1685
Type: статьи в сборниках
Date: 2016
Add   Testing components of interacting timed finite state machines
Authors: Gromov, Maxim | Tvardovskii, Aleksandr | Yevtushenko, Nina V.
Source: Proceedings of IEEE East-West Design & Test Symposium (EWDTS'2016), Yerevan, Armenia, October 14-17, 2016. [S. l.], 2016. P. 193-196
Type: статьи в сборниках
Date: 2016
  • «
  • ←
  • 1
  • →
  • »
^