Showing 1 - 4 results of 4 for search 'Petrenko, Alexandre F.', query time: 0.01s Refine Results
  1. 1
    Refining specifications in adaptive testing of nondeterministic finite state machines
    Get full text
    Перейти в каталог НБ ТГУ
    Article
  2. 2
    Testing of Software and Communicating Systems 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007. Proceedings /
    by Petrenko, Alexandre F.
    Published in Springer e-books (2007)
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  3. 3
    Generating checking sequences for nondeterministic finite state machines
    Get full text
    Перейти в каталог НБ ТГУ
    Book Chapter
  4. 4
    On reducing test length for FSMs with extra states
    Other Authors: “...Petrenko, Alexandre F....”
    Get full text
    Перейти в каталог НБ ТГУ
    Article
Search Tools: Get RSS Feed