Items where Author is "Kushik, Natalia"

Article

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)

Papers in Conference Proceedings

Karahoda, Sertaç and Erenay, Osman Tufan and Kaya, Kamer and Türker, Uraz Cengiz and Yenigün, Hüsnü (2016) Parallelizing heuristics for generating synchronizing sequences. In: 28th IFIP WG 6.1 International Conference on Testing Software and Systems (ICTSS 2016), Graz, Austria

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

Kushik, Natalia and Yenigün, Hüsnü (2015) Heuristics for deriving adaptive homing and distinguishing sequences for nondeterministic finite state machines. In: 27th IFIP WG 6.1 International Conference on Testing Software and Systems (ICTSS), United Arab Emirates