Электронная библиотека (репозиторий) Томского государственного университета
2012

Add to Quick Collection   All 13 Results

Showing items 1 - 13 of 13.
  • «
  • ←
  • 1
  • →
  • »
Sort:
 Add All Items to Quick Collection
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   Generating checking sequences for nondeterministic finite state machines
Authors: Petrenko, Alexandre F. | Simao, Adenilso da Silva | Yevtushenko, Nina V.
Source: IEEE Fifth International conference on software testing, verification and validation : (ICST 2012), Montreal, Quebec, Canada, 17-21 April 2012. Montreal ; Quebec , 2012. P. 310-319
Type: статьи в сборниках
Date: 2012
Add   Homing sequences for nondeterministic finite state machines: on the exponential upper bound reachability
Authors: Kushik, Natalia G.
Source: Известия высших учебных заведений. Физика. 2012. Т. 55, № 8/3. С. 242-243
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
Add   Использование свойств мутационных автоматов для минимизации проверяющих тестов
Authors: Эль-Факи, Калед | Евтушенко, Нина Владимировна | Дорофеева, Маргарита Юрьевна
Source: Программирование. 2012. № 4. С. 17-28
Type: статьи в журналах
Date: 2012
Add   К построению проверяющих тестов для недетерминированных автоматов с тайм-аутами
Authors: Шабалдина, Наталия Владимировна | Галимуллин, Рустам Фанисович
Source: Программирование. 2012. № 3. С. 36-44
Type: статьи в журналах
Date: 2012
Add   К упрощению сколемовых функций в булевых формулах с кванторами
Authors: Шатилов, Никита Петрович | Громов, Максим Леонидович
Source: Известия высших учебных заведений. Физика. 2012. Т. 55, № 9/2. С. 321-322
Type: статьи в журналах
Date: 2012
Add   К установке сложных систем в известное состояние
Authors: Евтушенко, Нина Владимировна | Кушик, Наталья Геннадьевна
Source: Известия высших учебных заведений. Физика. 2012. Т. 55, № 12. С. 111-113
Type: статьи в журналах
Date: 2012
Add   Методы синтеза проверяющих тестов с гарантированной полнотой для контроля дискретных управляющих систем на основе временных автоматов : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01.
Authors: Жигулин, Максим Владимирович
Type: авторефераты диссертаций
Date: 2012
Add   Синтез тестов для протокола TFTP на основе автоматной модели с таймаутами
Authors: Жигулин, Максим Владимирович | Прокопенко, Светлана Анатольевна
Source: Известия высших учебных заведений. Физика. 2012. Т. 55, № 9/2. С. 337-338
Type: статьи в журналах
Date: 2012
Add   Синтез условных синхронизирующих экспериментов для недетерминированных автоматов
Authors: Кушик, Наталья Геннадьевна | Евтушенко, Нина Владимировна
Source: Известия высших учебных заведений. Физика. 2012. Т. 55, № 9/2. С. 329-330
Type: статьи в журналах
Date: 2012
Add   Частные решения уравнений для временных автоматов с таймаутами
Authors: Кондратьева, Ольга Викторовна | Евтушенко, Нина Владимировна
Source: Известия высших учебных заведений. Физика. 2012. Т. 55, № 9/2. С. 333-334
Type: статьи в журналах
Date: 2012
  • «
  • ←
  • 1
  • →
  • »

Creator

Subject

Resource Type

^