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

Add to Quick Collection   All 3 Results

Showing items 1 - 3 of 3.
  • «
  • ←
  • 1
  • →
  • »
Sort:
 Add All Items to Quick Collection
Add   Deriving tests with guaranteed fault coverage for finite state machines with timeouts
Authors: Tvardovskii, Aleksandr | El-Fakih, Khaled | Yevtushenko, Nina V.
Source: Testing software and systems : 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018 : proceedings. Cham, 2018. P. 149-154
Type: статьи в сборниках
Date: 2018
Description: In contrast to untimed FSMs, two minimal initialized FSMs with timeouts can be equivalent but not isomorphic. Accordingly, we propose an appropriate fault model and a method for complete test derivati ... More
Add   Deriving compositionally deadlock-free components over synchronous automata compositions
Authors: Yevtushenko, Nina V. | Tiziano, Villa | Jiang, Jie-Hong R. | El-Fakih, Khaled
Source: The computer journal. 2015. Vol. 58, № 11. P. 2793-2803
Type: статьи в журналах
Date: 2015
Description: The composition of two arbitrary component automata can have deadlock states. A method is proposed to minimally reduce a component automaton such that the resulting composition with the other automato ... More
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
  • «
  • ←
  • 1
  • →
  • »
^