title   
  

Creator/Author/Editor: Yevtushenko, Nina

2018

Yenigün, Hüsnü and Yevtushenko, Nina and Kushik, Natalia and Lopez, Jorge (2018) The effect of partiality and adaptivity on the complexity of FSM state identification problems. Proceedings of the Institute for System Programming, 30 (1). pp. 7-24. ISSN 2079-8156 (Print) 2220-6426 (Online)

2017

Yenigün, Hüsnü and Yevtushenko, Nina and Kushik, Natali (2017) The complexity of checking the existence and derivation of adaptive synchronizing experiments for deterministic FSMs. Information Processing Letters, 127 . pp. 49-53. ISSN 0020-0190 (Print) 1872-6119 (Online)

Yevtushenko, Nina and Cavalli, Ana Rosa and Yenigün, Hüsnü (2017) Testing software and systems - 29th IFIP WG 6.1 International Conference (ICTSS 2017). [Volumes Edited / Special Issues]

2016

Yenigün, Hüsnü and Yevtushenko, Nina and Kushik, Natalia (2016) Some classes of finite state machines with polynomial length of distinguishing test cases. In: 31st Annual ACM Symposium on Applied Computing (SAC'16), Pisa, Italy

Kushik, Natalia and Yevtushenko, Nina and Yenigün, Hüsnü (2016) Reducing the complexity of checking the existence and derivation of adaptive synchronizing experiments for nondeterministic FSMs. In: 1st International Workshop on domAin Specific Model-Based AppRoaches to vErificaTion and validaTiOn, Rome, Italy

This list was generated on Sun Dec 9 01:37:43 2018 +03.