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

Add to Quick Collection   All 3 Results

Showing items 1 - 3 of 3.
  • «
  • ←
  • 1
  • →
  • »
Sort:
 Add All Items to Quick Collection
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   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   Refining specifications in adaptive testing of nondeterministic finite state machines
Authors: Petrenko, Alexandre F. | Yevtushenko, Nina V.
Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2009. № 1. С. 99-114
Type: статьи в журналах
Date: 2009
Description: This paper addresses testing of nondeterministic FSMs. An implementation FSM is allowed to be less nondeterministic than its specification, so the reduction relation between machines is the conformanc ... More
  • «
  • ←
  • 1
  • →
  • »
^