( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Fault Coverage Analysis in Respect to an FSM Specification.

, , и . INFOCOM, стр. 768-775. IEEE Computer Society, (1994)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Nikolaj Petrenko

Olga Petrenko

Alexandre Martins

Alexandre Varnek

Alexandre Darmoise

 

Другие публикации лиц с тем же именем

Conformance Relations and Test Derivation., , и . Protocol Test Systems, том C-19 из IFIP Transactions, стр. 157-178. North-Holland, (1993)Checking Experiments with Protocol Machines.. Protocol Test Systems, том C-3 из IFIP Transactions, стр. 83-94. North-Holland, (1991)Technical Correspondence Comments on Ä Reduced Test Suite for Protocol Conformance Testing".. ACM Trans. Softw. Eng. Methodol., 6 (3): 329-331 (1997)Specification Based Testing: Towards Practice.. Ershov Memorial Conference, том 2244 из Lecture Notes in Computer Science, стр. 287-300. Springer, (2001)An Automata-Based Approach to Property Testing in Event Traces., , , и . TestCom, том 2644 из Lecture Notes in Computer Science, стр. 180-196. Springer, (2003)Why Automata Models Are Sexy for Testers? (Invited Talk).. Ershov Memorial Conference, том 4378 из Lecture Notes in Computer Science, стр. 26. Springer, (2006)Implementing MSC Tests with Quiescence Observation., , и . TestCom/FATES, том 5826 из Lecture Notes in Computer Science, стр. 49-65. Springer, (2009)FSM Inference from Long Traces., и . FM, том 10951 из Lecture Notes in Computer Science, стр. 93-109. Springer, (2018)Using String Distances for Test Case Prioritisation., , и . ASE, стр. 510-514. IEEE Computer Society, (2009)Checking Experiments for Symbolic Input/Output Finite State Machines.. ICST Workshops, стр. 229-237. IEEE Computer Society, (2016)