SAMOVAR - SAMOVAR
Telecom SudParis
9 rue Charles Fourier
91011 EVRY CEDEX

Fax : +33 (0) 1 60 76 20 80

Natalia KUSHIK

Maître de Conférences
ACMES

natalia.kushik[@-Code to remove to avoid SPAM-]telecom-sudparis.eu

Article dans une revue

2023

ref_biblio
I. Burdonov, N. Evtushenko, A. Kossachev, Natalia Kushik. On preset homing and synchronizing sequences for observable input/output automata. Automation and Remote Control / Avtomatika i Telemekhanika, 2023, 84 (6), pp.606-611. ⟨10.1134/S0005117923060048⟩. ⟨hal-04321511⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04321511/file/SS%3AHS_Automata.pdf BibTex

2022

ref_biblio
Walid Ben-Ameur, Natalia Kushik, Alessandro Maddaloni, JosĂ© Neto, Dimitri Watel. The no-meet matroid. Discrete Applied Mathematics, 2022, ⟨10.1016/j.dam.2022.12.008⟩. ⟨hal-03955928⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03955928/file/Revision2.pdf BibTex
ref_biblio
Kuan-Hua Tu, Hung-En Wang, Jie-Hong Roland Jiang, Natalia Kushik, Nina Yevtushenko. Homing sequence derivation with quantified Boolean satisfiability. IEEE Transactions on Computers, 2022, 71 (3), pp.696-711. ⟨10.1109/TC.2021.3058302⟩. ⟨hal-03549138⟩
Accès au bibtex
BibTex
ref_biblio
Nina Yevtushenko, Victor Kuliamin, Natalia Kushik. Evaluating the complexity of deriving adaptive S'-homing and S'-synchronizing sequences for nondeterministic FSMs. Software Quality Journal, 2022, 30 (1), pp.161-180. ⟨10.1007/s11219-021-09548-z⟩. ⟨hal-03549204⟩
Accès au bibtex
BibTex

2020

ref_biblio
Natalia Kushik, Nina Yevtushenko, Tatiana Evtushenko. Novel machine learning technique for predicting teaching strategy effectiveness. International Journal of Information Management, 2020, 53, pp.101488:1-101488:10. ⟨10.1016/j.ijinfomgt.2016.02.006⟩. ⟨hal-03124461⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03124461/file/S0268401216000104.pdf BibTex

2019

ref_biblio
Natalia Kushik, Nina Yevtushenko, Igor Burdonov, Alexandre Kossachev. Deriving synchronizing and homing sequences for input/output automata. Automatic Control and Computer Sciences, 2019, 52 (7), pp.589 - 595. ⟨10.3103/S0146411618070167⟩. ⟨hal-02060024⟩
Accès au bibtex
BibTex
ref_biblio
Jorge Eleazar Lopez Coronado, Natalia Kushik, Djamal Zeghlache. Virtual machine placement quality estimation in cloud infrastructures using integer linear programming. Software Quality Journal, 2019, 27 (2), pp.731 - 755. ⟨10.1007/s11219-018-9420-z⟩. ⟨hal-01998560⟩
Accès au bibtex
BibTex
ref_biblio
Husnu Yenigun, Nina Yevtushenko, Ana Rosa Cavalli. Guest editorial: special issue on testing software and systems. Software Quality Journal, 2019, 27 (2), pp.497-499. ⟨10.1007/s11219-019-09447-4⟩. ⟨hal-02481420⟩
Accès au bibtex
BibTex

2018

ref_biblio
Khaled El-Fakih, Nina Yevtushenko, Natalia Kushik. Adaptive distinguishing test cases of nondeterministic finite state machines: test case derivation and length estimation. Formal Aspects of Computing, 2018, 30 (2), pp.319 - 332. ⟨10.1007/s00165-017-0450-2⟩. ⟨hal-01815008⟩
Accès au bibtex
BibTex
ref_biblio
Jorge Eleazar Lopez Coronado, Natalia Kushik, Nina Yevtushenko. Source code optimization using equivalent mutants. Information and Software Technology, 2018, 103, pp.138 - 141. ⟨10.1016/j.infsof.2018.06.013⟩. ⟨hal-01990590⟩
Accès au bibtex
BibTex

2017

ref_biblio
Husnu Yenigun, Nina Yevtushenko, Natalia Kushik. The complexity of checking the existence and derivation of adaptive synchronizing experiments for deterministic FSMs. Information Processing Letters, 2017, 127, pp.49 - 53. ⟨10.1016/j.ipl.2017.07.001⟩. ⟨hal-01611545⟩
Accès au bibtex
BibTex

2016

ref_biblio
Asma Berriri, Natalia Kushik, Djamal Zeghlache. On using finite state models for optimizing and testing SDN controller components. Izvestiâ vysših uÄŤebnyh zavedenij. Fizika, 2016, 59 (8/2), pp.5 - 7. ⟨hal-01453257⟩
Accès au bibtex
BibTex
ref_biblio
Natalia Kushik, Khaled El-Fakhi, Nina Yevtushenko, Ana Rosa Cavalli. On adaptive experiments for nondeterministic finite state machines. International Journal on Software Tools for Technology Transfer, 2016, 18 (3), pp.251 - 264. ⟨10.1007/s10009-014-0357-7⟩. ⟨hal-01354241⟩
Accès au bibtex
BibTex
ref_biblio
Natalia Kushik, Jorge Eleazar Lopez Coronado, Nina Yevtushenko. Investigation of correlation of test sequences for reliability testing of digital physical system components. Russian Physics Journal, 2016, 59 (8), pp.1274 - 1280. ⟨10.1007/s11182-016-0902-9⟩. ⟨hal-01451031⟩
Accès au bibtex
BibTex

Communication dans un congrès

2023

ref_biblio
Natalia Kushik, Nina Yevtushenko. Studying synchronization issues for extended automata. 18th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE), Apr 2023, Prague, Czech Republic. pp.338-345, ⟨10.5220/0011785700003464⟩. ⟨hal-04322438⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04322438/file/ENASE_CR%20%281%29.pdf BibTex
ref_biblio
Natalia Kushik, Nina Yevtushenko, Jorge LĂłpez. Probabilistic approach for minimizing checking sequences for non-deterministic FSMs. 35th International Conference on Testing Software and Systems (ICTSS), Sep 2023, Bergame (Italie), Italy. pp.237-243, ⟨10.1007/978-3-031-43240-8_15⟩. ⟨hal-04322446⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04322446/file/PFSM_checking_sequence%20%2813%29.pdf BibTex
ref_biblio
Evgenii Vinarskii, Natalia Kushik, Nina Yevtushenko, Jorge LĂłpez, Djamal Zeghlache. Timed transition tour for race detection in distributed systems. 18th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE ), Apr 2023, Prague, Czech Republic. pp.613-620, ⟨10.5220/0011986700003464⟩. ⟨hal-04322441⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04322441/file/ENASE23CR%20%281%29.pdf BibTex

2022

ref_biblio
Erick Petersen, Jorge Lopez, Natalia Kushik, Claude Poletti, Djamal Zeghlache. On using cellular automata for modeling the evolution of dynamic-link network parameters. 2022 IEEE 21st International Symposium on Network Computing and Applications (NCA), Dec 2022, Boston, United States. pp.297-301, ⟨10.1109/NCA57778.2022.10013557⟩. ⟨hal-03953846⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03953846/file/CellularAutomata_NCA2022-4.pdf BibTex
ref_biblio
Erick Petersen, Jorge LĂłpez, Natalia Kushik, Claude Poletti, Djamal Zeghlache. Dynamic link network emulation: a model-based design. 17th International Conference on Evaluation of Novel Approaches to Software Engineering, Apr 2022, Online Streaming, France. pp.536-543, ⟨10.5220/0011091100003176⟩. ⟨hal-03953769⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03953769/file/ENASE2022-3.pdf BibTex

2021

ref_biblio
Igor Burdonov, Alexandre Kossachev, Nina Yevtushenko, Jorge LĂłpez, Natalia Kushik, et al.. Preventive model-based verification and repairing for SDN requests. ENASE 2021: 16th International Conference on Evaluation of Novel Approaches to Software Engineering, Apr 2021, Online, France. pp.421-428, ⟨10.5220/0010494504210428⟩. ⟨hal-03549088⟩
Accès au bibtex
https://arxiv.org/pdf/1906.03101 BibTex
ref_biblio
Natalia Kushik, Nina Yevtushenko, Jorge LĂłpez. Testing against non-deterministic FSMs: a probabilistic approach for test suite minimization. IFIP International Conference on Testing Software and Systems (ICTSS), Nov 2021, London, United Kingdom. pp.55-61, ⟨10.1007/978-3-031-04673-5_4⟩. ⟨hal-04430476⟩
Accès au bibtex
BibTex

2020

ref_biblio
Erick Petersen, Jorge Lopez, Natalia Kushik, Claude Poletti, Djamal Zeghlache. On using SMT-solvers for modeling and verifying dynamic network emulators: (work in progress). NCA 2020: IEEE 19th International Symposium on Network Computing and Applications (NCA ), Nov 2020, Cambridge (online), United States. pp.1-3, ⟨10.1109/NCA51143.2020.9306731⟩. ⟨hal-03119384⟩
Accès au bibtex
BibTex

2019

ref_biblio
JosĂ© Reyes, Jorge Lopez, Natalia Kushik, Djamal Zeghlache. On the assessment and debugging of QoE in SDN: work in progress. NCA 2019: 18th International Symposium on Network Computing and Applications, Sep 2019, Cambridge, MA, United States. pp.1-3, ⟨10.1109/NCA.2019.8935029⟩. ⟨hal-02448781⟩
Accès au bibtex
BibTex
ref_biblio
Evgenii Vinarskii, Jorge Lopez, Natalia Kushik, Nina Yevtushenko, Djamal Zeghlache. A model checking based approach for detecting SDN races. ICTSS 2019: 31st IFIP International Conference on Testing Software and Systems, Oct 2019, Paris, France. pp.194-211, ⟨10.1007/978-3-030-31280-0_12⟩. ⟨hal-02448964⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02448964/file/482770_1_En_12_Chapter.pdf BibTex
ref_biblio
Nina Yevtushenko, Victor Kuliamin, Natalia Kushik. Evaluating the complexity of deriving adaptive homing, synchronizing and distinguishing sequences for nondeterministic FSMs. ICTSS 2019: 31st IFIP International Conference on Testing Software and Systems, Oct 2019, Paris, France. pp.86-103, ⟨10.1007/978-3-030-31280-0_6⟩. ⟨hal-02448916⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02448916/file/482770_1_En_6_Chapter.pdf BibTex

2018

ref_biblio
Asma Berriri, Jorge Lopez, Natalia Kushik, Nina Yevtushenko, Djamal Zeghlache. Towards model based testing for Software Defined Networks. ENASE 2018: 13th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE ), Mar 2018, Funchal, Madeira, Portugal. pp.440 - 446, ⟨10.5220/0006805604400446⟩. ⟨hal-01868877⟩
Accès au bibtex
BibTex
ref_biblio
Jorge Eleazar Lopez Coronado, Andrey Laputenko, Natalia Kushik, Nina Yevtushenko, Stanislav Torgaev. Scalable supervised machine learning apparatus for computationally constrained devices. ICSOFT 2018: 13th International Conference on Software Technologies (ICSOFT), Jul 2018, Porto, Portugal. pp.518 - 528, ⟨10.5220/0006908905520562⟩. ⟨hal-01990698⟩
Accès au bibtex
BibTex
ref_biblio
Jorge Eleazar Lopez Coronado, Natalia Kushik, Asma Berriri, Nina Yevtushenko, Djamal Zeghlache. Test derivation for SDN-enabled switches: a logic circuit based approach. IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2018, Cádiz, Spain. pp.69 - 84, ⟨10.1007/978-3-319-99927-2_7⟩. ⟨hal-01990709⟩
Accès au bibtex
BibTex
ref_biblio
Nina Yevtushenko, Igor Burdonov, Alexandre Kossachev, Jorge Eleazar Lopez Coronado, Natalia Kushik, et al.. Test derivation for the software defined networking platforms: novel fault models and test completeness. IEEE East-West Design & Test Symposium (EWDTS), Sep 2018, Kazan, Russia. pp.1 - 6, ⟨10.1109/EWDTS.2018.8524712⟩. ⟨hal-01990717⟩
Accès au bibtex
BibTex

2017

ref_biblio
Pamela Carvallo, Ana Rosa Cavalli, Natalia Kushik. Automatic derivation and validation of a cloud dataset for insider threat detection. ICSOFT 2017 : 12th International Conference on Software Technologies, Jul 2017, Madrid, Spain. pp.480 - 487, ⟨10.5220/0006480904800487⟩. ⟨hal-01583232⟩
Accès au bibtex
BibTex
ref_biblio
Pamela Carvallo, Ana Rosa Cavalli, Natalia Kushik. A study of threat detection systems and techniques in the cloud. CRISIS 2017 : 12th International Conference on Risks and Security of Internet and Systems, Sep 2017, Dinard, France. pp.140 - 155, ⟨10.1007/978-3-319-76687-4_10⟩. ⟨hal-01745762⟩
Accès au bibtex
BibTex
ref_biblio
Jorge Lopez, Natalia Kushik, Djamal Zeghlache. Quality Estimation of Virtual Machine Placement in Cloud Infrastructures. 29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.213-229, ⟨10.1007/978-3-319-67549-7_13⟩. ⟨hal-01678958⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01678958/file/449632_1_En_13_Chapter.pdf BibTex
ref_biblio
Jorge Lopez, Natalia Kushik, Nina Yevtushenko. Proactive trust assessment of systems as services. ENASE 2017 : 12th international conference on Evaluation of Novel Approaches to Software Engineering, Apr 2017, Porto, Portugal. pp.271 - 276, ⟨10.5220/0006354502710276⟩. ⟨hal-01611556⟩
Accès au bibtex
BibTex
ref_biblio
Jorge Eleazar Lopez Coronado, Natalia Kushik, Nina Yevtushenko, Djamal Zeghlache. Analyzing and validating virtual network requests. ICSOFT 2017 : 12th International Conference on Software Technologies, Jul 2017, Madrid, Spain. pp.441 - 446, ⟨10.5220/0006472304410446⟩. ⟨hal-01686297⟩
Accès au bibtex
BibTex
ref_biblio
Husnu Yenigun, Natalia Kushik, Jorge Lopez, Nina Yevtushenko, Ana Rosa Cavalli. Decreasing the complexity of deriving test suites against nondeterministic Finite State Machines. EWDTS 2017 : 15th IEEE East-West Design & Test Symposium, Sep 2017, Novi Sad, Serbia. pp.1 - 4, ⟨10.1109/EWDTS.2017.8110091⟩. ⟨hal-01669274⟩
Accès au bibtex
BibTex

2016

ref_biblio
Natalia Kushik, Jorge Eleazar Lopez Coronado, Ana Rosa Cavalli, Nina Yevtushenko. Optimizing protocol passive testing through 'Gedanken' experiments with Finite State Machines. QRS 2016 : International Conference on Software Quality, Reliability and Security, Aug 2016, Vienna, Austria. pp.315 - 322, ⟨10.1109/QRS.2016.43⟩. ⟨hal-01432412⟩
Accès au bibtex
BibTex
ref_biblio
Natalia Kushik, Nina Yevtushenko, Husnu Yenigun. Reducing the complexity of checking the existence and derivation of adaptive synchronizing experiments for nondeterministic FSMs. AMARETTO 2016 : 4th International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn, Feb 2016, Rome, Italy. pp.83 - 90, ⟨10.5220/0005854500830090⟩. ⟨hal-01332386⟩
Accès au bibtex
BibTex
ref_biblio
Jorge Eleazar Lopez Coronado, Natalia Kushik, Ana Rosa Cavalli, Nina Yevtushenko. Optimizing network utilization through source code state model representation. EWDTS 2016 : 14th East-West Design & Test Symposium, Oct 2016, Yerevan, Armenia. pp.1 - 4, ⟨10.1109/EWDTS.2016.7807732⟩. ⟨hal-01433929⟩
Accès au bibtex
BibTex
ref_biblio
Jorge Eleazar Lopez Coronado, Natalia Kushik, Nina Yevtushenko. On source code optimization for interpreted languages using state models. ENASE 2016 : 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering, Apr 2016, Rome, Italy. pp.282 - 287, ⟨10.5220/0005917802820287⟩. ⟨hal-01450658⟩
Accès au bibtex
BibTex
ref_biblio
Diego Arturo Rivera Villagra, Ana Rosa Cavalli, Natalia Kushik, Wissam Mallouli. An implementation of a QoE evaluation technique including business model parameters. ICSOFT-PT 2016 : 11th International Conference on Software Paradigm Trends, Aug 2016, Lisbon, Portugal. pp.138 - 145, ⟨10.5220/0006005001380145⟩. ⟨hal-01369532⟩
Accès au bibtex
BibTex
ref_biblio
Sergey Smolov, Jorge Eleazar Lopez Coronado, Natalia Kushik, Nina Yevtushenko, Alexander Kamkin, et al.. Testing logic circuits at different abstraction levels : an experimental evaluation. EWDTS 2016 : IEEE East-West Design & Test Symposium, Oct 2016, Yerevan, Armenia. pp.1 - 4, ⟨10.1109/EWDTS.2016.7807687⟩. ⟨hal-01450771⟩
Accès au bibtex
BibTex
ref_biblio
Husnu Yenigun, Nina Yevtushenko, Natalia Kushik. Some classes of Finite State Machines with polynomial length of distinguishing test cases. SAC 2016 : 31st ACM Symposium on Applied Computing, Apr 2016, Pisa, Italy. pp.1680 - 1685, ⟨10.1145/2851613.2851835⟩. ⟨hal-01332390⟩
Accès au bibtex
BibTex
ref_biblio
Alexandre Zaytsev, Maxim Trigub, Natalia Kushik, Nina Yevtushenko, Tatiana Evtushenko. Self-adaptive models for laser monitor image processing. EDM 2016 : 17th International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, Jun 2016, Altay Mountains, Russia. pp.300 - 303, ⟨10.1109/EDM.2016.7538745⟩. ⟨hal-01450678⟩
Accès au bibtex
BibTex

2014

ref_biblio
Khaled El-Fakih, Tariq Salameh, Nina Yevtushenko. On Code Coverage of Extended FSM Based Test Suites: An Initial Assessment. 26th IFIP International Conference on Testing Software and Systems (ICTSS), Sep 2014, Madrid, Spain. pp.198-204, ⟨10.1007/978-3-662-44857-1_16⟩. ⟨hal-01405288⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01405288/file/978-3-662-44857-1_16_Chapter.pdf BibTex

2013

ref_biblio
Olga Kondratyeva, Ana Rosa Cavalli, Natalia Kushik, Nina Yevtushenko. Evaluating quality of web services: a short survey. ICWS 2013 : 20th International Conference on Web Services, Jun 2013, Santa Clara, United States. pp.587 - 594, ⟨10.1109/ICWS.2013.83⟩. ⟨hal-01274984⟩
Accès au bibtex
BibTex

2011

ref_biblio
Natalia Kushik, Amel Mammar, Ana Rosa Cavalli, Nina Yevtushenko, Edgardo Montes de Oca. A SPIN-based approach for detecting vulnerabilities in C programs. PSSV 2011 : 2nd Workshop on Program Semantics, Specification and Verification : Theory and Applications, Jun 2011, St Petersburg, Russia. pp.131 - 143. ⟨hal-01465027⟩
Accès au bibtex
BibTex
ref_biblio
Alexandre Petrenko, Nina Yevtushenko. Adaptive Testing of Deterministic Implementations Specified by Nondeterministic FSMs. 23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.162-178, ⟨10.1007/978-3-642-24580-0_12⟩. ⟨hal-01583921⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01583921/file/978-3-642-24580-0_12_Chapter.pdf BibTex

HDR

2022

ref_biblio
Natalia Kushik. Contributions to model based test generation and monitoring strategies and their networking applications. Computer Science [cs]. Institut Polytechnique de Paris, 2022. ⟨tel-03952742⟩
Accès au texte intégral et bibtex
https://hal.science/tel-03952742/file/HDR_Kushik.pdf BibTex

Ouvrages

2016

ref_biblio
Franz Wotawa, Mihai Nica, Natalia Kushik. Testing Software and Systems: 28th IFIP WG 6.11 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings. Springer International Publishing, LNCS-9976, pp.257, 2016, Lecture Notes in Computer Science, Lecture notes in computer science, 978-3-319-47442-7. ⟨10.1007/978-3-319-47443-4⟩. ⟨hal-01643721⟩
Accès au bibtex
BibTex

Proceedings/Recueil des communications

2023

ref_biblio
Natalia Kushik, FrĂ©dĂ©ric Mallet. Actes des 22ème JournĂ©es des approches formelles dans l’assistance au dĂ©veloppement de logiciels,AFADL'23. pp.60, 2023, JournĂ©es AFADL. ⟨hal-04179353v2⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04179353/file/afadl2023.pdf BibTex

Pré-publication, Document de travail

2019

ref_biblio
Asma Berriri, Natalia Kushik, Djamal Zeghlache. Extended Finite State Machine based test generation for an OpenFlow switch. 2019. ⟨hal-02263575⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02263575/file/EFSMBasedApproach.pdf BibTex