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

Add to Quick Collection   All 6 Results

Showing items 1 - 6 of 6.
  • «
  • ←
  • 1
  • →
  • »
Sort:
 Add All Items to Quick Collection
Add   Conformance relations for finite state machines with timeouts
Authors: Kondratyeva, O. | Yevtushenko, Nina V. | Cavalli, Ana
Source: Известия высших учебных заведений. Физика. 2015. Т. 58, № 10/3. С. 218-221
Type: статьи в журналах
Date: 2015
Add   A practical approach for testing timed deterministic finite state machines with single clock
Authors: El-Fakih, Khaled | Yevtushenko, Nina V. | Simao, Adenilso da Silva
Source: Science of Computer Programming. 2014. Vol. 80, Part B. P. 343-355
Type: статьи в журналах
Date: 2014
Add   A TEFSM-based framework for QoE evaluation of OTT services
Authors: Rivera, D. | Fuenzalida, C. | Cavalli, Ana | Yevtushenko, Nina V. | Kushik, Natalia G.
Source: Труды Института системного программирования РАН. 2014. Т. 26, вып. 6. С. 17-30
Type: статьи в журналах
Date: 2014
Add   FSM-based testing from user defined faults adapted to incremental and mutation testing
Authors: Dorofeeva, R. | Yevtushenko, Nina V. | Bochmann, G. V. | El-Fakih, K. A.
Source: Programming and computer software. 2012. Vol. 38, № 4. P. 201-209
Type: статьи в журналах
Date: 2012
Add   On reducing test length for FSMs with extra states
Authors: Simao, Adenilso da Silva | Petrenko, Alexandre F. | Yevtushenko, Nina V.
Source: Software Testing Verification and Reliability. 2012. Vol. 22, № 6. P. 435-454
Type: статьи в журналах
Date: 2012
Add   Tight bound on the length of distinguishing sequences for non-observable nondeterministic Finite-State Machines with a polynomial number of inputs and outputs
Authors: Hwang, Iksoon | Yevtushenko, Nina V. | Cavalli, Ana
Source: Information processing letters. 2012. Vol. 112, № 7. P. 298-301
Type: статьи в журналах
Date: 2012
  • «
  • ←
  • 1
  • →
  • »
^