( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Testing of Software and Communicating Systems: : 19th IFIP TC 6/WG 6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallin, Estonia, June 2007, Proceedings

, , , и (Ред.) Springer, (2007)

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 Alexeev

Alexandre Darmoise

Alexandre Varnek

 

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

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