Natalia KUSHIK

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

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

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

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

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

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

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

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

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

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

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

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

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

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

2013

ref_biblio

Olga Kondratyeva, Natalia Kushik, Ana Rosa Cavalli, Nina Yevtushenko. Using finite state models for quality evaluation at web service develoment steps. International Journal of Services Computing, 2013, 1 (1), pp.1 - 12. ⟨hal-01262472⟩

Accès au bibtex

2012

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. Automatic control and computer sciences, 2012, 46 (7), pp.379-386. ⟨10.3103/S0146411612070115⟩. ⟨hal-00772243⟩

Accès au bibtex

Communication dans un congrès

2024

ref_biblio

Evgenii Vinarskii, Natalia Kushik, Djamal Zeghlache. Studying timed aspects for cloud configuration management tools: validation and recommendations for safe execution. 2024 IEEE International Conference on Web Services (ICWS), Jul 2024, Shenzhen, China. pp.1365-1367, ⟨10.1109/ICWS62655.2024.00171⟩. ⟨hal-04903101⟩

Accès au texte intégral et bibtex

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

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

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

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

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

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

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

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

2019

ref_biblio

José Reyes, Jorge López, 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

ref_biblio

Evgenii Vinarskii, Jorge López, 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

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

2018

ref_biblio

Asma Berriri, Jorge López, 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

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

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

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

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

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

ref_biblio

Jorge López, 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

ref_biblio

Jorge López, 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

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

ref_biblio

Hung-En Wang, Kuan-Hua Tu, Jie-Hong R. Jiang, Natalia Kushik. Homing Sequence Derivation with Quantified Boolean Satisfiability. 29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.230-242, ⟨10.1007/978-3-319-67549-7_14⟩. ⟨hal-01678974⟩

Accès au texte intégral et bibtex

ref_biblio

Husnu Yenigun, Natalia Kushik, Jorge López, 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

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

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

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

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

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

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

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

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

2015

ref_biblio

Natalia Kushik, Husnu Yenigun. Heuristics for deriving adaptive homing and distinguishing sequences for nondeterministic finite state machines. 27th IFIP International Conference on Testing Software and Systems (ICTSS), Nov 2015, Sharjah And Dubai, United Arab Emirates. pp.243-248, ⟨10.1007/978-3-319-25945-1_15⟩. ⟨hal-01262740⟩

Accès au texte intégral et bibtex

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. ICWS 2015 : 22nd IEEE International Conference on Web Services, Jun 2015, New York, United States. pp.607 - 614, ⟨10.1109/ICWS.2015.86⟩. ⟨hal-01269646⟩

Accès au 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

ref_biblio

Natalia Kushik, Nina Yevtushenko, Ana Rosa Cavalli, Wissam Mallouli, Jeevan Pokhrel. Evaluating web service QoE by learning logic networks. WEBIST 2014 : 10th International Conference on Web Information Systems and Technologies, Apr 2014, Barcelone, Spain. pp.168 - 176, ⟨10.5220/0004855801680176⟩. ⟨hal-01262476⟩

Accès au bibtex

ref_biblio

Natalia Kushik, Anton Kolomeez, Ana Rosa Cavalli, Nina Yevtushenko. Extended Finite State Machine based test derivation strategies for telecommunication protocols. SYRCoSE 2014 : 8th Spring/Summer Young Researchers’ Colloquium on Software Engineering , May 2014, Saint-Pétersbourg, Russia. pp.108 - 113, ⟨10.15514/SYRCOSE-2014-8-15⟩. ⟨hal-01262562⟩

Accès au bibtex

ref_biblio

Natalia Kushik, Nina Yevtushenko, Ana Rosa Cavalli. On testing against partial non-observable specifications. QUATIC 2014 : 9th International Conference on the Quality of Information and Communications Technology, Sep 2014, Guimaraes, Portugal. pp.230 - 233, ⟨10.1109/QUATIC.2014.38⟩. ⟨hal-01262783⟩

Accès au 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

ref_biblio

Olga Kondratyeva, Natalia Kushik, Ana Rosa Cavalli, Nina Yevtushenko. Evaluating Web service quality using finite state models. QSIC 2013 : 13th International Conference on Quality Software, Jul 2013, Nanjing, China. pp.95 - 102, ⟨10.1109/QSIC.2013.52⟩. ⟨hal-01262103⟩

Accès au 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

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

Chapitre d'ouvrage

2023

ref_biblio

Erick Petersen, Jorge López, Natalia Kushik, Maxime Labonne, Claude Poletti, et al.. Dynamic link network emulation and validation of execution datasets. Evaluation of Novel Approaches to Software Engineering. Revised Selected Papers. Communications in Computer and Information Science 1829, 1829, Springer Nature Switzerland, pp.116-138, 2023, Communications in Computer and Information Science, 978-3-031-36597-3. ⟨10.1007/978-3-031-36597-3_6⟩. ⟨hal-04537149⟩

Accès au texte intégral et bibtex

2015

ref_biblio

Jeevan Pokhrel, Natalia Kushik, Bachar Wehbi, Nina Yevtushenko, Ana Rosa Cavalli. Multimedia Quality of Experience. Emerging research on networked multimedia communication systems, Information Science Reference, pp.250 - 284, 2015, Advances in multimedia and interactive technologies book series, 978-1-466-68850-6. ⟨10.4018/978-1-4666-8850-6.ch008⟩. ⟨hal-01263826⟩

Accès au 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

Ouvrages

2016

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. ⟨10.1007/978-3-319-47443-4⟩. ⟨hal-01643721⟩

Accès au 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

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