{"id":3519,"date":"2022-04-13T17:15:36","date_gmt":"2022-04-13T15:15:36","guid":{"rendered":"https:\/\/samovar2022.int-evry.fr\/index.php\/acmes-2\/natalia-kushik-2\/"},"modified":"2022-04-13T17:15:51","modified_gmt":"2022-04-13T15:15:51","slug":"natalia-kushik-2","status":"publish","type":"page","link":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/acmes-2\/natalia-kushik-2\/","title":{"rendered":"Natalia KUSHIK"},"content":{"rendered":"<p><div class=\"bandeau-personnel MonLaboUser\"><img decoding=\"async\" src=\"https:\/\/samovar.telecom-sudparis.eu\/wp-content\/uploads\/2022\/07\/Natalia-KUSHIK.jpg\" class=\"wp-image-6 alignleft img-arrondi wp-post-image\" height=\"150\" width=\"150\" alt=\" \" \/><div class=\"adresse\"><p>SAMOVAR - SAMOVAR<br \/>Telecom SudParis<br \/>\r\n9 rue Charles Fourier<br \/>\r\n91011 EVRY CEDEX<\/p><p>Fax : +33 (0) 1 60 76 20 80<\/p><\/div><div class=\"monlaboBlocTexte\"><h1>Natalia <span class=\"MonLabo-lastname\">KUSHIK<\/span><\/h1><div class=\"coordonnees\"><em>Ma\u00eetre de Conf\u00e9rences<\/em><br \/><span class=\"team-description\"><a href=\"https:\/\/samovar.telecom-sudparis.eu\/?page_id=2438\" class=\"MonLaboLink\"><span class=\"MonLabo_team_name\">ACMES<\/span><\/a><\/span><\/div><div class=\"coordonnees\"><span class=\"MonLabo-email\">natalia.kushik[&#64;<span>-Code to remove to avoid SPAM-<\/span>]telecom-sudparis.eu<\/span><\/div><\/div><\/div>\n<div id=\"res_script\">\n<p class='Rubrique'>Article dans une revue<\/p>\n<p class='SousRubrique'>2023<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">I. Burdonov, N. Evtushenko, A. Kossachev, Natalia Kushik. On preset homing and synchronizing sequences for observable input\/output automata. <i>Automation and Remote Control \/ Avtomatika i Telemekhanika<\/i>, 2023, 84 (6), pp.606-611. <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1134\/S0005117923060048\">&#x27E8;10.1134\/S0005117923060048&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-04321511v1\">&#x27E8;hal-04321511&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au texte int\u00e9gral et bibtex<\/dt>\n<dd class=\"ValeurRes Fichier_joint\">\n<a href=\"https:\/\/hal.science\/hal-04321511\/file\/SS%3AHS_Automata.pdf\"  target=\"_blank\">\n<img decoding=\"async\" alt=\"https:\/\/hal.science\/hal-04321511\/file\/SS%3AHS_Automata.pdf\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_pdf.png\" border=\"0\" title=\"https:\/\/hal.science\/hal-04321511\/file\/SS%3AHS_Automata.pdf\" \/><\/a>\n<span class=\"LienBibtexACoteFulltext\"><a href=\"https:\/\/hal.science\/hal-04321511v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/span><\/dd>\n<\/dl>\n<p class='SousRubrique'>2022<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Walid Ben-Ameur, Natalia Kushik, Alessandro Maddaloni, Jos\u00e9 Neto, Dimitri Watel. The no-meet matroid. <i>Discrete Applied Mathematics<\/i>, 2022, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1016\/j.dam.2022.12.008\">&#x27E8;10.1016\/j.dam.2022.12.008&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-03955928v1\">&#x27E8;hal-03955928&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au texte int\u00e9gral et bibtex<\/dt>\n<dd class=\"ValeurRes Fichier_joint\">\n<a href=\"https:\/\/hal.science\/hal-03955928\/file\/Revision2.pdf\"  target=\"_blank\">\n<img decoding=\"async\" alt=\"https:\/\/hal.science\/hal-03955928\/file\/Revision2.pdf\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_pdf.png\" border=\"0\" title=\"https:\/\/hal.science\/hal-03955928\/file\/Revision2.pdf\" \/><\/a>\n<span class=\"LienBibtexACoteFulltext\"><a href=\"https:\/\/hal.science\/hal-03955928v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/span><\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Kuan-Hua Tu, Hung-En Wang, Jie-Hong Roland Jiang, Natalia Kushik, Nina Yevtushenko. Homing sequence derivation with quantified Boolean satisfiability. <i>IEEE Transactions on Computers<\/i>, 2022, 71 (3), pp.696-711. <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1109\/TC.2021.3058302\">&#x27E8;10.1109\/TC.2021.3058302&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-03549138v1\">&#x27E8;hal-03549138&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-03549138v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Nina Yevtushenko, Victor Kuliamin, Natalia Kushik. Evaluating the complexity of deriving adaptive S'-homing and S'-synchronizing sequences for nondeterministic FSMs. <i>Software Quality Journal<\/i>, 2022, 30 (1), pp.161-180. <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1007\/s11219-021-09548-z\">&#x27E8;10.1007\/s11219-021-09548-z&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-03549204v1\">&#x27E8;hal-03549204&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-03549204v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<p class='SousRubrique'>2020<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Natalia Kushik, Nina Yevtushenko, Tatiana Evtushenko. Novel machine learning technique for predicting teaching strategy effectiveness. <i>International Journal of Information Management<\/i>, 2020, 53, pp.101488:1-101488:10. <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1016\/j.ijinfomgt.2016.02.006\">&#x27E8;10.1016\/j.ijinfomgt.2016.02.006&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-03124461v1\">&#x27E8;hal-03124461&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au texte int\u00e9gral et bibtex<\/dt>\n<dd class=\"ValeurRes Fichier_joint\">\n<a href=\"https:\/\/hal.science\/hal-03124461\/file\/S0268401216000104.pdf\"  target=\"_blank\">\n<img decoding=\"async\" alt=\"https:\/\/hal.science\/hal-03124461\/file\/S0268401216000104.pdf\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_pdf.png\" border=\"0\" title=\"https:\/\/hal.science\/hal-03124461\/file\/S0268401216000104.pdf\" \/><\/a>\n<span class=\"LienBibtexACoteFulltext\"><a href=\"https:\/\/hal.science\/hal-03124461v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/span><\/dd>\n<\/dl>\n<p class='SousRubrique'>2019<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Natalia Kushik, Nina Yevtushenko, Igor Burdonov, Alexandre Kossachev. Deriving synchronizing and homing sequences for input\/output automata. <i>Automatic Control and Computer Sciences<\/i>, 2019, 52 (7), pp.589 - 595. <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.3103\/S0146411618070167\">&#x27E8;10.3103\/S0146411618070167&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-02060024v1\">&#x27E8;hal-02060024&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-02060024v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Jorge Eleazar Lopez Coronado, Natalia Kushik, Djamal Zeghlache. Virtual machine placement quality estimation in cloud infrastructures using integer linear programming. <i>Software Quality Journal<\/i>, 2019, 27 (2), pp.731 - 755. <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1007\/s11219-018-9420-z\">&#x27E8;10.1007\/s11219-018-9420-z&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01998560v1\">&#x27E8;hal-01998560&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01998560v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Husnu Yenigun, Nina Yevtushenko, Ana Rosa Cavalli. Guest editorial: special issue on testing software and systems. <i>Software Quality Journal<\/i>, 2019, 27 (2), pp.497-499. <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1007\/s11219-019-09447-4\">&#x27E8;10.1007\/s11219-019-09447-4&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-02481420v1\">&#x27E8;hal-02481420&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-02481420v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<p class='SousRubrique'>2018<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Khaled El-Fakih, Nina Yevtushenko, Natalia Kushik. Adaptive distinguishing test cases of nondeterministic finite state machines: test case derivation and length estimation. <i>Formal Aspects of Computing<\/i>, 2018, 30 (2), pp.319 - 332. <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1007\/s00165-017-0450-2\">&#x27E8;10.1007\/s00165-017-0450-2&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01815008v1\">&#x27E8;hal-01815008&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01815008v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Jorge Eleazar Lopez Coronado, Natalia Kushik, Nina Yevtushenko. Source code optimization using equivalent mutants. <i>Information and Software Technology<\/i>, 2018, 103, pp.138 - 141. <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1016\/j.infsof.2018.06.013\">&#x27E8;10.1016\/j.infsof.2018.06.013&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01990590v1\">&#x27E8;hal-01990590&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01990590v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<p class='SousRubrique'>2017<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Husnu Yenigun, Nina Yevtushenko, Natalia Kushik. The complexity of checking the existence and derivation of adaptive synchronizing experiments for deterministic FSMs. <i>Information Processing Letters<\/i>, 2017, 127, pp.49 - 53. <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1016\/j.ipl.2017.07.001\">&#x27E8;10.1016\/j.ipl.2017.07.001&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01611545v1\">&#x27E8;hal-01611545&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01611545v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<p class='SousRubrique'>2016<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Asma Berriri, Natalia Kushik, Djamal Zeghlache. On using finite state models for optimizing and testing SDN controller components. <i> Izvesti\u00e2 vys\u0161ih u\u010debnyh zavedenij. Fizika<\/i>, 2016, 59 (8\/2), pp.5 - 7. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01453257v1\">&#x27E8;hal-01453257&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01453257v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Natalia Kushik, Khaled El-Fakhi, Nina Yevtushenko, Ana Rosa Cavalli. On adaptive experiments for nondeterministic finite state machines. <i>International Journal on Software Tools for Technology Transfer<\/i>, 2016, 18 (3), pp.251 - 264. <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1007\/s10009-014-0357-7\">&#x27E8;10.1007\/s10009-014-0357-7&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01354241v1\">&#x27E8;hal-01354241&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01354241v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Natalia Kushik, Jorge Eleazar Lopez Coronado, Nina Yevtushenko. Investigation of correlation of test sequences for reliability testing of digital physical system components. <i>Russian Physics Journal<\/i>, 2016, 59 (8), pp.1274 - 1280. <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1007\/s11182-016-0902-9\">&#x27E8;10.1007\/s11182-016-0902-9&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01451031v1\">&#x27E8;hal-01451031&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01451031v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<p class='SousRubrique'>2013<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Olga Kondratyeva, Natalia Kushik, Ana Rosa Cavalli, Nina Yevtushenko. Using finite state models for quality evaluation at web service develoment steps. <i>International Journal of Services Computing<\/i>, 2013, 1 (1), pp.1 - 12. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01262472v1\">&#x27E8;hal-01262472&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01262472v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<p class='SousRubrique'>2012<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Natalia Kushik, Amel Mammar, Ana Rosa Cavalli, Nina Yevtushenko, Willy Ronald Jimenez Freitez, et al.. A SPIN-based approach for detecting vulnerabilities in C programs. <i>Automatic Control and Computer Sciences<\/i>, 2012, 46 (7), pp.379-386. <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.3103\/S0146411612070115\">&#x27E8;10.3103\/S0146411612070115&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-00772243v1\">&#x27E8;hal-00772243&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-00772243v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<p class='Rubrique'>Communication dans un congr\u00e8s<\/p>\n<p class='SousRubrique'>2025<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Natalia Kushik, Nina Yevtushenko. On using homing sequences instead of\u00a0distinguishing in\u00a0FSM-based testing. <i>IFIP International Conference on Testing Software and Systems (ICTSS)<\/i>, Sep 2025, Limassol, Cyprus. pp.53-60, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1007\/978-3-032-05188-2_4\">&#x27E8;10.1007\/978-3-032-05188-2_4&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-05459404v1\">&#x27E8;hal-05459404&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au texte int\u00e9gral et bibtex<\/dt>\n<dd class=\"ValeurRes Fichier_joint\">\n<a href=\"https:\/\/hal.science\/hal-05459404\/file\/HS_4_DS%20%2815%29.pdf\"  target=\"_blank\">\n<img decoding=\"async\" alt=\"https:\/\/hal.science\/hal-05459404\/file\/HS_4_DS%20%2815%29.pdf\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_pdf.png\" border=\"0\" title=\"https:\/\/hal.science\/hal-05459404\/file\/HS_4_DS%20%2815%29.pdf\" \/><\/a>\n<span class=\"LienBibtexACoteFulltext\"><a href=\"https:\/\/hal.science\/hal-05459404v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/span><\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Evgenii Vinarskii, Natalia Kushik, Djamal Zeghlache. Apprentissage et test pour les machines \u00e0 \u00e9tats finis temporis\u00e9es avec d\u00e9lais de sortie. <i>Journ\u00e9es Approches Formelles dans l'Assistance au D\u00e9veloppement de Logiciels (AFADL)<\/i>, Fabien Dagnat; Olga Kouchnarenko, Jun 2025, Pau, France. pp.75-82. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-05475948v1\">&#x27E8;hal-05475948&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au texte int\u00e9gral et bibtex<\/dt>\n<dd class=\"ValeurRes Fichier_joint\">\n<a href=\"https:\/\/hal.science\/hal-05475948\/file\/afadl25_CR_Evgenii.pdf\"  target=\"_blank\">\n<img decoding=\"async\" alt=\"https:\/\/hal.science\/hal-05475948\/file\/afadl25_CR_Evgenii.pdf\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_pdf.png\" border=\"0\" title=\"https:\/\/hal.science\/hal-05475948\/file\/afadl25_CR_Evgenii.pdf\" \/><\/a>\n<span class=\"LienBibtexACoteFulltext\"><a href=\"https:\/\/hal.science\/hal-05475948v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/span><\/dd>\n<\/dl>\n<p class='SousRubrique'>2024<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Evgenii Vinarskii, Natalia Kushik, Djamal Zeghlache. Studying timed aspects for cloud configuration management tools: validation and recommendations for safe execution. <i>2024 IEEE International Conference on Web Services (ICWS)<\/i>, Jul 2024, Shenzhen, China. pp.1365-1367, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1109\/ICWS62655.2024.00171\">&#x27E8;10.1109\/ICWS62655.2024.00171&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-04903101v1\">&#x27E8;hal-04903101&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au texte int\u00e9gral et bibtex<\/dt>\n<dd class=\"ValeurRes Fichier_joint\">\n<a href=\"https:\/\/hal.science\/hal-04903101\/file\/ICWS.pdf\"  target=\"_blank\">\n<img decoding=\"async\" alt=\"https:\/\/hal.science\/hal-04903101\/file\/ICWS.pdf\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_pdf.png\" border=\"0\" title=\"https:\/\/hal.science\/hal-04903101\/file\/ICWS.pdf\" \/><\/a>\n<span class=\"LienBibtexACoteFulltext\"><a href=\"https:\/\/hal.science\/hal-04903101v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/span><\/dd>\n<\/dl>\n<p class='SousRubrique'>2023<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Natalia Kushik, Nina Yevtushenko, Jorge L\u00f3pez. Probabilistic approach for\u00a0minimizing checking sequences for\u00a0non-deterministic FSMs. <i>35th International Conference on Testing Software and Systems (ICTSS)<\/i>, Sep 2023, Bergame (Italie), Italy. pp.237-243, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1007\/978-3-031-43240-8_15\">&#x27E8;10.1007\/978-3-031-43240-8_15&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-04322446v1\">&#x27E8;hal-04322446&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au texte int\u00e9gral et bibtex<\/dt>\n<dd class=\"ValeurRes Fichier_joint\">\n<a href=\"https:\/\/hal.science\/hal-04322446\/file\/PFSM_checking_sequence%20%2813%29.pdf\"  target=\"_blank\">\n<img decoding=\"async\" alt=\"https:\/\/hal.science\/hal-04322446\/file\/PFSM_checking_sequence%20%2813%29.pdf\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_pdf.png\" border=\"0\" title=\"https:\/\/hal.science\/hal-04322446\/file\/PFSM_checking_sequence%20%2813%29.pdf\" \/><\/a>\n<span class=\"LienBibtexACoteFulltext\"><a href=\"https:\/\/hal.science\/hal-04322446v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/span><\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Natalia Kushik, Nina Yevtushenko. Studying synchronization issues for extended automata. <i>18th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE)<\/i>, Apr 2023, Prague, Czech Republic. pp.338-345, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.5220\/0011785700003464\">&#x27E8;10.5220\/0011785700003464&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-04322438v1\">&#x27E8;hal-04322438&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au texte int\u00e9gral et bibtex<\/dt>\n<dd class=\"ValeurRes Fichier_joint\">\n<a href=\"https:\/\/hal.science\/hal-04322438\/file\/ENASE_CR%20%281%29.pdf\"  target=\"_blank\">\n<img decoding=\"async\" alt=\"https:\/\/hal.science\/hal-04322438\/file\/ENASE_CR%20%281%29.pdf\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_pdf.png\" border=\"0\" title=\"https:\/\/hal.science\/hal-04322438\/file\/ENASE_CR%20%281%29.pdf\" \/><\/a>\n<span class=\"LienBibtexACoteFulltext\"><a href=\"https:\/\/hal.science\/hal-04322438v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/span><\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Evgenii Vinarskii, Natalia Kushik, Nina Yevtushenko, Jorge L\u00f3pez, Djamal Zeghlache. Timed transition tour for race detection in distributed systems. <i>18th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE )<\/i>, Apr 2023, Prague, Czech Republic. pp.613-620, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.5220\/0011986700003464\">&#x27E8;10.5220\/0011986700003464&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-04322441v1\">&#x27E8;hal-04322441&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au texte int\u00e9gral et bibtex<\/dt>\n<dd class=\"ValeurRes Fichier_joint\">\n<a href=\"https:\/\/hal.science\/hal-04322441\/file\/ENASE23CR%20%281%29.pdf\"  target=\"_blank\">\n<img decoding=\"async\" alt=\"https:\/\/hal.science\/hal-04322441\/file\/ENASE23CR%20%281%29.pdf\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_pdf.png\" border=\"0\" title=\"https:\/\/hal.science\/hal-04322441\/file\/ENASE23CR%20%281%29.pdf\" \/><\/a>\n<span class=\"LienBibtexACoteFulltext\"><a href=\"https:\/\/hal.science\/hal-04322441v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/span><\/dd>\n<\/dl>\n<p class='SousRubrique'>2022<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Erick Petersen, Jorge L\u00f3pez, Natalia Kushik, Claude Poletti, Djamal Zeghlache. Dynamic link network emulation: a model-based design. <i>17th International Conference on Evaluation of Novel Approaches to Software Engineering<\/i>, Apr 2022, Online Streaming, France. pp.536-543, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.5220\/0011091100003176\">&#x27E8;10.5220\/0011091100003176&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-03953769v1\">&#x27E8;hal-03953769&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au texte int\u00e9gral et bibtex<\/dt>\n<dd class=\"ValeurRes Fichier_joint\">\n<a href=\"https:\/\/hal.science\/hal-03953769\/file\/ENASE2022-3.pdf\"  target=\"_blank\">\n<img decoding=\"async\" alt=\"https:\/\/hal.science\/hal-03953769\/file\/ENASE2022-3.pdf\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_pdf.png\" border=\"0\" title=\"https:\/\/hal.science\/hal-03953769\/file\/ENASE2022-3.pdf\" \/><\/a>\n<span class=\"LienBibtexACoteFulltext\"><a href=\"https:\/\/hal.science\/hal-03953769v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/span><\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes 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. <i>2022 IEEE 21st International Symposium on Network Computing and Applications (NCA)<\/i>, Dec 2022, Boston, United States. pp.297-301, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1109\/NCA57778.2022.10013557\">&#x27E8;10.1109\/NCA57778.2022.10013557&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-03953846v1\">&#x27E8;hal-03953846&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au texte int\u00e9gral et bibtex<\/dt>\n<dd class=\"ValeurRes Fichier_joint\">\n<a href=\"https:\/\/hal.science\/hal-03953846\/file\/CellularAutomata_NCA2022-4.pdf\"  target=\"_blank\">\n<img decoding=\"async\" alt=\"https:\/\/hal.science\/hal-03953846\/file\/CellularAutomata_NCA2022-4.pdf\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_pdf.png\" border=\"0\" title=\"https:\/\/hal.science\/hal-03953846\/file\/CellularAutomata_NCA2022-4.pdf\" \/><\/a>\n<span class=\"LienBibtexACoteFulltext\"><a href=\"https:\/\/hal.science\/hal-03953846v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/span><\/dd>\n<\/dl>\n<p class='SousRubrique'>2021<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Igor Burdonov, Alexandre Kossachev, Nina Yevtushenko, Jorge L\u00f3pez, Natalia Kushik, et al.. Preventive model-based verification and repairing for SDN requests. <i>ENASE 2021: 16th International Conference on Evaluation of Novel Approaches to Software Engineering<\/i>, Apr 2021, Online, France. pp.421-428, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.5220\/0010494504210428\">&#x27E8;10.5220\/0010494504210428&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-03549088v1\">&#x27E8;hal-03549088&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/arxiv.org\/pdf\/1906.03101\"  target=\"_blank\"><img decoding=\"async\" alt=\"https:\/\/arxiv.org\/pdf\/1906.03101\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/arxiv.gif\" border=\"0\" title=\"arXiv PDF\" width=\"16px\" height=\"16px\" \/><\/a>\n<span class=\"LienBibtexACoteFulltext\"><a href=\"https:\/\/hal.science\/hal-03549088v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/span><\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Natalia Kushik, Nina Yevtushenko, Jorge L\u00f3pez. Testing against non-deterministic FSMs: a probabilistic approach for\u00a0test suite minimization. <i>IFIP International Conference on Testing Software and Systems (ICTSS)<\/i>, Nov 2021, London, United Kingdom. pp.55-61, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1007\/978-3-031-04673-5_4\">&#x27E8;10.1007\/978-3-031-04673-5_4&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-04430476v1\">&#x27E8;hal-04430476&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-04430476v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<p class='SousRubrique'>2020<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes 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). <i>NCA 2020: IEEE 19th International Symposium on Network Computing and Applications (NCA )<\/i>, Nov 2020, Cambridge (online), United States. pp.1-3, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1109\/NCA51143.2020.9306731\">&#x27E8;10.1109\/NCA51143.2020.9306731&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-03119384v1\">&#x27E8;hal-03119384&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-03119384v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<p class='SousRubrique'>2019<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Jos\u00e9 Reyes, Jorge L\u00f3pez, Natalia Kushik, Djamal Zeghlache. On the assessment and debugging of QoE in SDN: work in progress. <i>NCA 2019: 18th International Symposium on Network Computing and Applications<\/i>, Sep 2019, Cambridge, MA, United States. pp.1-3, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1109\/NCA.2019.8935029\">&#x27E8;10.1109\/NCA.2019.8935029&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-02448781v1\">&#x27E8;hal-02448781&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-02448781v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Evgenii Vinarskii, Jorge L\u00f3pez, Natalia Kushik, Nina Yevtushenko, Djamal Zeghlache. A model checking based approach for detecting SDN races. <i>ICTSS 2019: 31st IFIP International Conference on Testing Software and Systems<\/i>, Oct 2019, Paris, France. pp.194-211, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1007\/978-3-030-31280-0_12\">&#x27E8;10.1007\/978-3-030-31280-0_12&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-02448964v1\">&#x27E8;hal-02448964&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au texte int\u00e9gral et bibtex<\/dt>\n<dd class=\"ValeurRes Fichier_joint\">\n<a href=\"https:\/\/hal.science\/hal-02448964\/file\/482770_1_En_12_Chapter.pdf\"  target=\"_blank\">\n<img decoding=\"async\" alt=\"https:\/\/hal.science\/hal-02448964\/file\/482770_1_En_12_Chapter.pdf\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_pdf.png\" border=\"0\" title=\"https:\/\/hal.science\/hal-02448964\/file\/482770_1_En_12_Chapter.pdf\" \/><\/a>\n<span class=\"LienBibtexACoteFulltext\"><a href=\"https:\/\/hal.science\/hal-02448964v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/span><\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Nina Yevtushenko, Victor Kuliamin, Natalia Kushik. Evaluating the complexity of deriving adaptive homing, synchronizing and distinguishing sequences for nondeterministic FSMs. <i>ICTSS 2019: 31st IFIP International Conference on Testing Software and Systems<\/i>, Oct 2019, Paris, France. pp.86-103, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1007\/978-3-030-31280-0_6\">&#x27E8;10.1007\/978-3-030-31280-0_6&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-02448916v1\">&#x27E8;hal-02448916&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au texte int\u00e9gral et bibtex<\/dt>\n<dd class=\"ValeurRes Fichier_joint\">\n<a href=\"https:\/\/hal.science\/hal-02448916\/file\/482770_1_En_6_Chapter.pdf\"  target=\"_blank\">\n<img decoding=\"async\" alt=\"https:\/\/hal.science\/hal-02448916\/file\/482770_1_En_6_Chapter.pdf\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_pdf.png\" border=\"0\" title=\"https:\/\/hal.science\/hal-02448916\/file\/482770_1_En_6_Chapter.pdf\" \/><\/a>\n<span class=\"LienBibtexACoteFulltext\"><a href=\"https:\/\/hal.science\/hal-02448916v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/span><\/dd>\n<\/dl>\n<p class='SousRubrique'>2018<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Asma Berriri, Jorge L\u00f3pez, Natalia Kushik, Nina Yevtushenko, Djamal Zeghlache. Towards model based testing for Software Defined Networks. <i>ENASE 2018: 13th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE )<\/i>, Mar 2018, Funchal, Madeira, Portugal. pp.440 - 446, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.5220\/0006805604400446\">&#x27E8;10.5220\/0006805604400446&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01868877v1\">&#x27E8;hal-01868877&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01868877v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Jorge Eleazar Lopez Coronado, Andrey Laputenko, Natalia Kushik, Nina Yevtushenko, Stanislav Torgaev. Scalable supervised machine learning apparatus for computationally constrained devices. <i>ICSOFT 2018: 13th International Conference on Software Technologies (ICSOFT)<\/i>, Jul 2018, Porto, Portugal. pp.518 - 528, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.5220\/0006908905520562\">&#x27E8;10.5220\/0006908905520562&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01990698v1\">&#x27E8;hal-01990698&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01990698v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes 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. <i>IFIP International Conference on Testing Software and Systems (ICTSS)<\/i>, Oct 2018, C\u00e1diz, Spain. pp.69 - 84, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1007\/978-3-319-99927-2_7\">&#x27E8;10.1007\/978-3-319-99927-2_7&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01990709v1\">&#x27E8;hal-01990709&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01990709v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes 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. <i>IEEE East-West Design & Test Symposium (EWDTS)<\/i>, Sep 2018, Kazan, Russia. pp.1 - 6, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1109\/EWDTS.2018.8524712\">&#x27E8;10.1109\/EWDTS.2018.8524712&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01990717v1\">&#x27E8;hal-01990717&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01990717v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<p class='SousRubrique'>2017<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Pamela Carvallo, Ana Rosa Cavalli, Natalia Kushik. A study of threat detection systems and techniques in the cloud. <i>CRISIS 2017 : 12th International Conference on Risks and Security of Internet and Systems<\/i>, Sep 2017, Dinard, France. pp.140 - 155, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1007\/978-3-319-76687-4_10\">&#x27E8;10.1007\/978-3-319-76687-4_10&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01745762v1\">&#x27E8;hal-01745762&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01745762v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Pamela Carvallo, Ana Rosa Cavalli, Natalia Kushik. Automatic derivation and validation of a cloud dataset for insider threat detection. <i>ICSOFT 2017 : 12th International Conference on Software Technologies<\/i>, Jul 2017, Madrid, Spain. pp.480 - 487, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.5220\/0006480904800487\">&#x27E8;10.5220\/0006480904800487&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01583232v1\">&#x27E8;hal-01583232&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01583232v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Jorge L\u00f3pez, Natalia Kushik, Nina Yevtushenko. Proactive trust assessment of systems as services. <i>ENASE 2017 : 12th international conference on Evaluation of Novel Approaches to Software Engineering<\/i>, Apr 2017, Porto, Portugal. pp.271 - 276, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.5220\/0006354502710276\">&#x27E8;10.5220\/0006354502710276&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01611556v1\">&#x27E8;hal-01611556&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01611556v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Jorge L\u00f3pez, Natalia Kushik, Djamal Zeghlache. Quality Estimation of Virtual Machine Placement in Cloud Infrastructures. <i>29th IFIP International Conference on Testing Software and Systems (ICTSS)<\/i>, Oct 2017, St. Petersburg, Russia. pp.213-229, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1007\/978-3-319-67549-7_13\">&#x27E8;10.1007\/978-3-319-67549-7_13&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/inria.hal.science\/hal-01678958v1\">&#x27E8;hal-01678958&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au texte int\u00e9gral et bibtex<\/dt>\n<dd class=\"ValeurRes Fichier_joint\">\n<a href=\"https:\/\/inria.hal.science\/hal-01678958\/file\/449632_1_En_13_Chapter.pdf\"  target=\"_blank\">\n<img decoding=\"async\" alt=\"https:\/\/inria.hal.science\/hal-01678958\/file\/449632_1_En_13_Chapter.pdf\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_pdf.png\" border=\"0\" title=\"https:\/\/inria.hal.science\/hal-01678958\/file\/449632_1_En_13_Chapter.pdf\" \/><\/a>\n<span class=\"LienBibtexACoteFulltext\"><a href=\"https:\/\/inria.hal.science\/hal-01678958v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/span><\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Jorge Eleazar Lopez Coronado, Natalia Kushik, Nina Yevtushenko, Djamal Zeghlache. Analyzing and validating virtual network requests. <i>ICSOFT 2017 : 12th International Conference on Software Technologies<\/i>, Jul 2017, Madrid, Spain. pp.441 - 446, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.5220\/0006472304410446\">&#x27E8;10.5220\/0006472304410446&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01686297v1\">&#x27E8;hal-01686297&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01686297v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Hung-En Wang, Kuan-Hua Tu, Jie-Hong R. Jiang, Natalia Kushik. Homing Sequence Derivation with Quantified Boolean Satisfiability. <i>29th IFIP International Conference on Testing Software and Systems (ICTSS)<\/i>, Oct 2017, St. Petersburg, Russia. pp.230-242, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1007\/978-3-319-67549-7_14\">&#x27E8;10.1007\/978-3-319-67549-7_14&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/inria.hal.science\/hal-01678974v1\">&#x27E8;hal-01678974&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au texte int\u00e9gral et bibtex<\/dt>\n<dd class=\"ValeurRes Fichier_joint\">\n<a href=\"https:\/\/inria.hal.science\/hal-01678974\/file\/449632_1_En_14_Chapter.pdf\"  target=\"_blank\">\n<img decoding=\"async\" alt=\"https:\/\/inria.hal.science\/hal-01678974\/file\/449632_1_En_14_Chapter.pdf\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_pdf.png\" border=\"0\" title=\"https:\/\/inria.hal.science\/hal-01678974\/file\/449632_1_En_14_Chapter.pdf\" \/><\/a>\n<span class=\"LienBibtexACoteFulltext\"><a href=\"https:\/\/inria.hal.science\/hal-01678974v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/span><\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Husnu Yenigun, Natalia Kushik, Jorge L\u00f3pez, Nina Yevtushenko, Ana Rosa Cavalli. Decreasing the complexity of deriving test suites against nondeterministic Finite State Machines. <i>EWDTS 2017 : 15th IEEE East-West Design & Test Symposium<\/i>, Sep 2017, Novi Sad, Serbia. pp.1 - 4, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1109\/EWDTS.2017.8110091\">&#x27E8;10.1109\/EWDTS.2017.8110091&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01669274v1\">&#x27E8;hal-01669274&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01669274v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<p class='SousRubrique'>2016<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Natalia Kushik, Nina Yevtushenko, Husnu Yenigun. Reducing the complexity of checking the existence and derivation of adaptive synchronizing experiments for nondeterministic FSMs. <i>AMARETTO 2016 : 4th International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn<\/i>, Feb 2016, Rome, Italy. pp.83 - 90, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.5220\/0005854500830090\">&#x27E8;10.5220\/0005854500830090&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01332386v1\">&#x27E8;hal-01332386&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01332386v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Natalia Kushik, Jorge Eleazar Lopez Coronado, Ana Rosa Cavalli, Nina Yevtushenko. Optimizing protocol passive testing through 'Gedanken' experiments with Finite State Machines. <i>QRS 2016 : International Conference on Software Quality, Reliability and Security<\/i>, Aug 2016, Vienna, Austria. pp.315 - 322, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1109\/QRS.2016.43\">&#x27E8;10.1109\/QRS.2016.43&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01432412v1\">&#x27E8;hal-01432412&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01432412v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Jorge Eleazar Lopez Coronado, Natalia Kushik, Ana Rosa Cavalli, Nina Yevtushenko. Optimizing network utilization through source code state model representation. <i>EWDTS 2016 : 14th East-West Design & Test Symposium<\/i>, Oct 2016, Yerevan, Armenia. pp.1 - 4, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1109\/EWDTS.2016.7807732\">&#x27E8;10.1109\/EWDTS.2016.7807732&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01433929v1\">&#x27E8;hal-01433929&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01433929v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Jorge Eleazar Lopez Coronado, Natalia Kushik, Nina Yevtushenko. On source code optimization for interpreted languages using state models. <i>ENASE 2016 : 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering<\/i>, Apr 2016, Rome, Italy. pp.282 - 287, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.5220\/0005917802820287\">&#x27E8;10.5220\/0005917802820287&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01450658v1\">&#x27E8;hal-01450658&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01450658v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Diego Arturo Rivera Villagra, Ana Rosa Cavalli, Natalia Kushik, Wissam Mallouli. An implementation of a QoE evaluation technique including business model parameters. <i>ICSOFT-PT 2016 : 11th International Conference on Software Paradigm Trends<\/i>, Aug 2016, Lisbon, Portugal. pp.138 - 145, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.5220\/0006005001380145\">&#x27E8;10.5220\/0006005001380145&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01369532v1\">&#x27E8;hal-01369532&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01369532v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes 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. <i>EWDTS 2016 : IEEE East-West Design & Test Symposium<\/i>, Oct 2016, Yerevan, Armenia. pp.1 - 4, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1109\/EWDTS.2016.7807687\">&#x27E8;10.1109\/EWDTS.2016.7807687&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01450771v1\">&#x27E8;hal-01450771&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01450771v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Husnu Yenigun, Nina Yevtushenko, Natalia Kushik. Some classes of Finite State Machines with polynomial length of distinguishing test cases. <i>SAC 2016 : 31st ACM Symposium on Applied Computing<\/i>, Apr 2016, Pisa, Italy. pp.1680 - 1685, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1145\/2851613.2851835\">&#x27E8;10.1145\/2851613.2851835&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01332390v1\">&#x27E8;hal-01332390&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01332390v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Alexandre Zaytsev, Maxim Trigub, Natalia Kushik, Nina Yevtushenko, Tatiana Evtushenko. Self-adaptive models for laser monitor image processing. <i>EDM 2016 : 17th International Conference of Young Specialists on Micro\/Nanotechnologies and Electron Devices<\/i>, Jun 2016, Altay Mountains, Russia. pp.300 - 303, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1109\/EDM.2016.7538745\">&#x27E8;10.1109\/EDM.2016.7538745&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01450678v1\">&#x27E8;hal-01450678&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01450678v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<p class='SousRubrique'>2015<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Natalia Kushik, Husnu Yenigun. Heuristics for deriving adaptive homing and distinguishing sequences for nondeterministic finite state machines. <i>27th IFIP International Conference on Testing Software and Systems (ICTSS)<\/i>, Nov 2015, Sharjah And Dubai, United Arab Emirates. pp.243-248, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1007\/978-3-319-25945-1_15\">&#x27E8;10.1007\/978-3-319-25945-1_15&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01262740v1\">&#x27E8;hal-01262740&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au texte int\u00e9gral et bibtex<\/dt>\n<dd class=\"ValeurRes Fichier_joint\">\n<a href=\"https:\/\/hal.science\/hal-01262740\/file\/385214_1_En_15_Chapter.pdf\"  target=\"_blank\">\n<img decoding=\"async\" alt=\"https:\/\/hal.science\/hal-01262740\/file\/385214_1_En_15_Chapter.pdf\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_pdf.png\" border=\"0\" title=\"https:\/\/hal.science\/hal-01262740\/file\/385214_1_En_15_Chapter.pdf\" \/><\/a>\n<span class=\"LienBibtexACoteFulltext\"><a href=\"https:\/\/hal.science\/hal-01262740v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/span><\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Diego Arturo Rivera Villagra, Natalia Kushik, Camila Fuenzalida Nunez, Ana Rosa Cavalli, Nina Yevtushenko. QoE evaluation based on QoS and QoBiz parameters applied to an OTT service. <i>ICWS 2015 : 22nd IEEE International Conference on Web Services<\/i>, Jun 2015, New York, United States. pp.607 - 614, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1109\/ICWS.2015.86\">&#x27E8;10.1109\/ICWS.2015.86&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01269646v1\">&#x27E8;hal-01269646&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01269646v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<p class='SousRubrique'>2014<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Khaled El-Fakih, Tariq Salameh, Nina Yevtushenko. On Code Coverage of Extended FSM Based Test Suites: An Initial Assessment. <i>26th IFIP International Conference on Testing Software and Systems (ICTSS)<\/i>, Sep 2014, Madrid, Spain. pp.198-204, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1007\/978-3-662-44857-1_16\">&#x27E8;10.1007\/978-3-662-44857-1_16&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/inria.hal.science\/hal-01405288v1\">&#x27E8;hal-01405288&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au texte int\u00e9gral et bibtex<\/dt>\n<dd class=\"ValeurRes Fichier_joint\">\n<a href=\"https:\/\/inria.hal.science\/hal-01405288\/file\/978-3-662-44857-1_16_Chapter.pdf\"  target=\"_blank\">\n<img decoding=\"async\" alt=\"https:\/\/inria.hal.science\/hal-01405288\/file\/978-3-662-44857-1_16_Chapter.pdf\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_pdf.png\" border=\"0\" title=\"https:\/\/inria.hal.science\/hal-01405288\/file\/978-3-662-44857-1_16_Chapter.pdf\" \/><\/a>\n<span class=\"LienBibtexACoteFulltext\"><a href=\"https:\/\/inria.hal.science\/hal-01405288v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/span><\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Natalia Kushik, Anton Kolomeez, Ana Rosa Cavalli, Nina Yevtushenko. Extended Finite State Machine based test derivation strategies for telecommunication protocols. <i>SYRCoSE 2014 : 8th Spring\/Summer Young Researchers\u2019 Colloquium on Software Engineering <\/i>, May 2014, Saint-P\u00e9tersbourg, Russia. pp.108 - 113, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.15514\/SYRCOSE-2014-8-15\">&#x27E8;10.15514\/SYRCOSE-2014-8-15&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01262562v1\">&#x27E8;hal-01262562&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01262562v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Natalia Kushik, Nina Yevtushenko, Ana Rosa Cavalli. On testing against partial non-observable specifications. <i>QUATIC 2014 : 9th International Conference on the Quality of Information and Communications Technology<\/i>, Sep 2014, Guimaraes, Portugal. pp.230 - 233, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1109\/QUATIC.2014.38\">&#x27E8;10.1109\/QUATIC.2014.38&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01262783v1\">&#x27E8;hal-01262783&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01262783v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Natalia Kushik, Nina Yevtushenko, Ana Rosa Cavalli, Wissam Mallouli, Jeevan Pokhrel. Evaluating web service QoE by learning logic networks. <i>WEBIST 2014 : 10th International Conference on Web Information Systems and Technologies<\/i>, Apr 2014, Barcelone, Spain. pp.168 - 176, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.5220\/0004855801680176\">&#x27E8;10.5220\/0004855801680176&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01262476v1\">&#x27E8;hal-01262476&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01262476v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<p class='SousRubrique'>2013<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Olga Kondratyeva, Ana Rosa Cavalli, Natalia Kushik, Nina Yevtushenko. Evaluating quality of web services: a short survey. <i>ICWS 2013 : 20th International Conference on Web Services<\/i>, Jun 2013, Santa Clara, United States. pp.587 - 594, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1109\/ICWS.2013.83\">&#x27E8;10.1109\/ICWS.2013.83&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01274984v1\">&#x27E8;hal-01274984&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01274984v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Olga Kondratyeva, Natalia Kushik, Ana Rosa Cavalli, Nina Yevtushenko. Evaluating Web service quality using finite state models. <i>QSIC 2013 : 13th International Conference on Quality Software<\/i>, Jul 2013, Nanjing, China. pp.95 - 102, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1109\/QSIC.2013.52\">&#x27E8;10.1109\/QSIC.2013.52&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01262103v1\">&#x27E8;hal-01262103&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01262103v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<p class='SousRubrique'>2011<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes 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. <i>PSSV 2011 : 2nd Workshop on Program Semantics, Specification and Verification : Theory and Applications<\/i>, Jun 2011, St Petersburg, Russia. pp.131 - 143. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01465027v1\">&#x27E8;hal-01465027&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01465027v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Alexandre Petrenko, Nina Yevtushenko. Adaptive Testing of Deterministic Implementations Specified by Nondeterministic FSMs. <i>23th International Conference on Testing Software and Systems (ICTSS)<\/i>, Nov 2011, Paris, France. pp.162-178, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1007\/978-3-642-24580-0_12\">&#x27E8;10.1007\/978-3-642-24580-0_12&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/inria.hal.science\/hal-01583921v1\">&#x27E8;hal-01583921&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au texte int\u00e9gral et bibtex<\/dt>\n<dd class=\"ValeurRes Fichier_joint\">\n<a href=\"https:\/\/inria.hal.science\/hal-01583921\/file\/978-3-642-24580-0_12_Chapter.pdf\"  target=\"_blank\">\n<img decoding=\"async\" alt=\"https:\/\/inria.hal.science\/hal-01583921\/file\/978-3-642-24580-0_12_Chapter.pdf\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_pdf.png\" border=\"0\" title=\"https:\/\/inria.hal.science\/hal-01583921\/file\/978-3-642-24580-0_12_Chapter.pdf\" \/><\/a>\n<span class=\"LienBibtexACoteFulltext\"><a href=\"https:\/\/inria.hal.science\/hal-01583921v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/span><\/dd>\n<\/dl>\n<p class='Rubrique'>Chapitre d'ouvrage<\/p>\n<p class='SousRubrique'>2023<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Erick Petersen, Jorge L\u00f3pez, Natalia Kushik, Maxime Labonne, Claude Poletti, et al.. Dynamic link network emulation and\u00a0validation of\u00a0execution datasets. <i>Evaluation of Novel Approaches to Software Engineering. Revised Selected Papers. Communications in Computer and Information Science 1829<\/i>, 1829, Springer Nature Switzerland, pp.116-138, 2023, Communications in Computer and Information Science, 978-3-031-36597-3. <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1007\/978-3-031-36597-3_6\">&#x27E8;10.1007\/978-3-031-36597-3_6&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-04537149v1\">&#x27E8;hal-04537149&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au texte int\u00e9gral et bibtex<\/dt>\n<dd class=\"ValeurRes Fichier_joint\">\n<a href=\"https:\/\/hal.science\/hal-04537149\/file\/Dynamic_link_Network_Emulation_and_Validation_of_Execution_Data_Sets__SPLNCS_extended_version_%20%281%29.pdf\"  target=\"_blank\">\n<img decoding=\"async\" alt=\"https:\/\/hal.science\/hal-04537149\/file\/Dynamic_link_Network_Emulation_and_Validation_of_Execution_Data_Sets__SPLNCS_extended_version_%20%281%29.pdf\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_pdf.png\" border=\"0\" title=\"https:\/\/hal.science\/hal-04537149\/file\/Dynamic_link_Network_Emulation_and_Validation_of_Execution_Data_Sets__SPLNCS_extended_version_%20%281%29.pdf\" \/><\/a>\n<span class=\"LienBibtexACoteFulltext\"><a href=\"https:\/\/hal.science\/hal-04537149v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/span><\/dd>\n<\/dl>\n<p class='SousRubrique'>2015<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Jeevan Pokhrel, Natalia Kushik, Bachar Wehbi, Nina Yevtushenko, Ana Rosa Cavalli. Multimedia Quality of Experience. <i>Emerging research on networked multimedia communication systems<\/i>, Information Science Reference, pp.250 - 284, 2015, Advances in multimedia and interactive technologies book series, 978-1-466-68850-6. <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.4018\/978-1-4666-8850-6.ch008\">&#x27E8;10.4018\/978-1-4666-8850-6.ch008&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01263826v1\">&#x27E8;hal-01263826&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/hal.science\/hal-01263826v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<p class='Rubrique'>HDR<\/p>\n<p class='SousRubrique'>2022<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes 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. <a target=\"_blank\" href=\"https:\/\/hal.science\/tel-03952742v1\">&#x27E8;tel-03952742&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au texte int\u00e9gral et bibtex<\/dt>\n<dd class=\"ValeurRes Fichier_joint\">\n<a href=\"https:\/\/hal.science\/tel-03952742\/file\/HDR_Kushik.pdf\"  target=\"_blank\">\n<img decoding=\"async\" alt=\"https:\/\/hal.science\/tel-03952742\/file\/HDR_Kushik.pdf\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_pdf.png\" border=\"0\" title=\"https:\/\/hal.science\/tel-03952742\/file\/HDR_Kushik.pdf\" \/><\/a>\n<span class=\"LienBibtexACoteFulltext\"><a href=\"https:\/\/hal.science\/tel-03952742v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/span><\/dd>\n<\/dl>\n<p class='Rubrique'>Ouvrages<\/p>\n<p class='SousRubrique'>2016<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Franz Wotawa, Mihai Nica, Natalia Kushik. Testing Software and Systems. Springer International Publishing, LNCS-9976, pp.257, 2016, Lecture Notes in Computer Science, Lecture notes in computer science, 978-3-319-47442-7. <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1007\/978-3-319-47443-4\">&#x27E8;10.1007\/978-3-319-47443-4&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/inria.hal.science\/hal-01643721v1\">&#x27E8;hal-01643721&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\">\n<a href=\"https:\/\/inria.hal.science\/hal-01643721v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/dd>\n<\/dl>\n<p class='Rubrique'>Proceedings\/Recueil des communications<\/p>\n<p class='SousRubrique'>2023<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Natalia Kushik, Fr\u00e9d\u00e9ric Mallet. Actes des 22\u00e8me Journ\u00e9es des approches formelles dans l\u2019assistance au d\u00e9veloppement de logiciels,AFADL'23. pp.60, 2023, Journ\u00e9es AFADL. <a target=\"_blank\" href=\"https:\/\/inria.hal.science\/hal-04179353v2\">&#x27E8;hal-04179353v2&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au texte int\u00e9gral et bibtex<\/dt>\n<dd class=\"ValeurRes Fichier_joint\">\n<a href=\"https:\/\/inria.hal.science\/hal-04179353\/file\/afadl2023.pdf\"  target=\"_blank\">\n<img decoding=\"async\" alt=\"https:\/\/inria.hal.science\/hal-04179353\/file\/afadl2023.pdf\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_pdf.png\" border=\"0\" title=\"https:\/\/inria.hal.science\/hal-04179353\/file\/afadl2023.pdf\" \/><\/a>\n<span class=\"LienBibtexACoteFulltext\"><a href=\"https:\/\/inria.hal.science\/hal-04179353v2\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/span><\/dd>\n<\/dl>\n<p class='Rubrique'>Pr\u00e9-publication, Document de travail<\/p>\n<p class='SousRubrique'>2019<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">ref_biblio<\/dt><dd class=\"ValeurRes ref_biblio\">Asma Berriri, Natalia Kushik, Djamal Zeghlache. Extended Finite State Machine based test generation for an OpenFlow switch. 2019. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-02263575v1\">&#x27E8;hal-02263575&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au texte int\u00e9gral et bibtex<\/dt>\n<dd class=\"ValeurRes Fichier_joint\">\n<a href=\"https:\/\/hal.science\/hal-02263575\/file\/EFSMBasedApproach.pdf\"  target=\"_blank\">\n<img decoding=\"async\" alt=\"https:\/\/hal.science\/hal-02263575\/file\/EFSMBasedApproach.pdf\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_pdf.png\" border=\"0\" title=\"https:\/\/hal.science\/hal-02263575\/file\/EFSMBasedApproach.pdf\" \/><\/a>\n<span class=\"LienBibtexACoteFulltext\"><a href=\"https:\/\/hal.science\/hal-02263575v1\/bibtex\" target=\"_self\">\n<img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.archives-ouvertes.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a>\n<\/span><\/dd>\n<\/dl>\n<\/div>\n<\/p>\n","protected":false},"excerpt":{"rendered":"","protected":false},"author":4,"featured_media":4267,"parent":2438,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"ocean_post_layout":"","ocean_both_sidebars_style":"","ocean_both_sidebars_content_width":0,"ocean_both_sidebars_sidebars_width":0,"ocean_sidebar":"0","ocean_second_sidebar":"0","ocean_disable_margins":"enable","ocean_add_body_class":"","ocean_shortcode_before_top_bar":"","ocean_shortcode_after_top_bar":"","ocean_shortcode_before_header":"","ocean_shortcode_after_header":"","ocean_has_shortcode":"","ocean_shortcode_after_title":"","ocean_shortcode_before_footer_widgets":"","ocean_shortcode_after_footer_widgets":"","ocean_shortcode_before_footer_bottom":"","ocean_shortcode_after_footer_bottom":"","ocean_display_top_bar":"default","ocean_display_header":"default","ocean_header_style":"","ocean_center_header_left_menu":"0","ocean_custom_header_template":"0","ocean_custom_logo":0,"ocean_custom_retina_logo":0,"ocean_custom_logo_max_width":0,"ocean_custom_logo_tablet_max_width":0,"ocean_custom_logo_mobile_max_width":0,"ocean_custom_logo_max_height":0,"ocean_custom_logo_tablet_max_height":0,"ocean_custom_logo_mobile_max_height":0,"ocean_header_custom_menu":"0","ocean_menu_typo_font_family":"0","ocean_menu_typo_font_subset":"","ocean_menu_typo_font_size":0,"ocean_menu_typo_font_size_tablet":0,"ocean_menu_typo_font_size_mobile":0,"ocean_menu_typo_font_size_unit":"px","ocean_menu_typo_font_weight":"","ocean_menu_typo_font_weight_tablet":"","ocean_menu_typo_font_weight_mobile":"","ocean_menu_typo_transform":"","ocean_menu_typo_transform_tablet":"","ocean_menu_typo_transform_mobile":"","ocean_menu_typo_line_height":0,"ocean_menu_typo_line_height_tablet":0,"ocean_menu_typo_line_height_mobile":0,"ocean_menu_typo_line_height_unit":"","ocean_menu_typo_spacing":0,"ocean_menu_typo_spacing_tablet":0,"ocean_menu_typo_spacing_mobile":0,"ocean_menu_typo_spacing_unit":"","ocean_menu_link_color":"","ocean_menu_link_color_hover":"","ocean_menu_link_color_active":"","ocean_menu_link_background":"","ocean_menu_link_hover_background":"","ocean_menu_link_active_background":"","ocean_menu_social_links_bg":"","ocean_menu_social_hover_links_bg":"","ocean_menu_social_links_color":"","ocean_menu_social_hover_links_color":"","ocean_disable_title":"default","ocean_disable_heading":"default","ocean_post_title":"","ocean_post_subheading":"","ocean_post_title_style":"","ocean_post_title_background_color":"","ocean_post_title_background":0,"ocean_post_title_bg_image_position":"","ocean_post_title_bg_image_attachment":"","ocean_post_title_bg_image_repeat":"","ocean_post_title_bg_image_size":"","ocean_post_title_height":0,"ocean_post_title_bg_overlay":0.5,"ocean_post_title_bg_overlay_color":"","ocean_disable_breadcrumbs":"default","ocean_breadcrumbs_color":"","ocean_breadcrumbs_separator_color":"","ocean_breadcrumbs_links_color":"","ocean_breadcrumbs_links_hover_color":"","ocean_display_footer_widgets":"default","ocean_display_footer_bottom":"default","ocean_custom_footer_template":"0","footnotes":""},"class_list":["post-3519","page","type-page","status-publish","has-post-thumbnail","hentry","entry","has-media"],"_links":{"self":[{"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/pages\/3519","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/users\/4"}],"replies":[{"embeddable":true,"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/comments?post=3519"}],"version-history":[{"count":1,"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/pages\/3519\/revisions"}],"predecessor-version":[{"id":3520,"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/pages\/3519\/revisions\/3520"}],"up":[{"embeddable":true,"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/pages\/2438"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/media\/4267"}],"wp:attachment":[{"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/media?parent=3519"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}