Natalia Kushik

Proceedings of the IEEE International Conference on Web Services, 2024

Races in Extended Input/Ouput Automata, Their Compositions and Related Reactive Systems.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Evaluation of Novel Approaches to Software Engineering, 2024

2023

On Preset Homing and Synchronizing Sequences for Observable Input/Output Automata.

[BibT_eX]

[DOI]

Nina V. Evtushenko

Alexander S. Kossachev

Natalia G. Kushik

Autom. Remote. Control., June, 2023

Probabilistic Approach for Minimizing Checking Sequences for Non-deterministic FSMs.

[BibT_eX]

[DOI]

Proceedings of the Testing Software and Systems, 2023

Timed Transition Tour for Race Detection in Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering, 2023

Studying Synchronization Issues for Extended Automata.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering, 2023

2022

Homing Sequence Derivation With Quantified Boolean Satisfiability.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2022

Evaluating the complexity of deriving adaptive S'-homing and S'-synchronizing sequences for nondeterministic FSMs.

[BibT_eX]

[DOI]

Victor V. Kuliamin

Softw. Qual. J., 2022

On using Cellular Automata for Modeling the Evolution of Dynamic-Link Network Parameters.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE International Symposium on Network Computing and Applications, 2022

Dynamic Link Network Emulation: A Model-based Design.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Evaluation of Novel Approaches to Software Engineering, 2022

Dynamic Link Network Emulation and Validation of Execution Datasets.

[BibT_eX]

[DOI]

Proceedings of the Evaluation of Novel Approaches to Software Engineering, 2022

Contributions to model based test generation and monitoring strategies and their networking applications.

[BibT_eX]

[DOI]

, 2022

2021

Satellite Communication Digital Twin for Evaluating Novel Solutions: Dynamic Link Emulation Architecture.

[BibT_eX]

[DOI]

CoRR, 2021

Testing Against Non-deterministic FSMs: A Probabilistic Approach for Test Suite Minimization.

[BibT_eX]

[DOI]

Proceedings of the Testing Software and Systems, 2021

Preventive Model-based Verification and Repairing for SDN Requests.

[BibT_eX]

[DOI]

Alexandre S. Kossachev

Proceedings of the 16th International Conference on Evaluation of Novel Approaches to Software Engineering, 2021

2020

Novel machine learning technique for predicting teaching strategy effectiveness.

[BibT_eX]

[DOI]

Tatiana G. Evtushenko

Int. J. Inf. Manag., 2020

On using SMT-solvers for Modeling and Verifying Dynamic Network Emulators.

[BibT_eX]

[DOI]

CoRR, 2020

On using SMT-solvers for Modeling and Verifying Dynamic Network Emulators: (Work in Progress).

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE International Symposium on Network Computing and Applications, 2020

2019

Virtual machine placement quality estimation in cloud infrastructures using integer linear programming.

[BibT_eX]

[DOI]

Softw. Qual. J., 2019

Verifying SDN Data Path Requests.

[BibT_eX]

[DOI]

Alexandre S. Kossachev

CoRR, 2019

Evaluating the Complexity of Deriving Adaptive Homing, Synchronizing and Distinguishing Sequences for Nondeterministic FSMs.

[BibT_eX]

[DOI]

Victor V. Kuliamin

Proceedings of the Testing Software and Systems, 2019

A Model Checking Based Approach for Detecting SDN Races.

[BibT_eX]

[DOI]

Proceedings of the Testing Software and Systems, 2019

On the Assessment and Debugging of QoE in SDN: Work in Progress.

[BibT_eX]

[DOI]

Proceedings of the 18th IEEE International Symposium on Network Computing and Applications, 2019

2018

Source code optimization using equivalent mutants.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2018

Adaptive distinguishing test cases of nondeterministic finite state machines: test case derivation and length estimation.

[BibT_eX]

[DOI]

Khaled El-Fakih

Formal Aspects Comput., 2018

Deriving Synchronizing and Homing Sequences for Input/Output Automata.

[BibT_eX]

[DOI]

Igor B. Bourdonov

Alexander S. Kossatchev

Autom. Control. Comput. Sci., 2018

Test Derivation for SDN-Enabled Switches: A Logic Circuit Based Approach.

[BibT_eX]

[DOI]

Proceedings of the Testing Software and Systems, 2018

Scalable Supervised Machine Learning Apparatus for Computationally Constrained Devices.

[BibT_eX]

[DOI]

Proceedings of the 13th International Conference on Software Technologies, 2018

Test Derivation for the Software Defined Networking Platforms: Novel Fault Models and Test Completeness.

[BibT_eX]

[DOI]

Alexandre S. Kossachev

Proceedings of the 2018 IEEE East-West Design & Test Symposium, 2018

Towards Model based Testing for Software Defined Networks.

[BibT_eX]

[DOI]

Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering, 2018

2017

The complexity of checking the existence and derivation of adaptive synchronizing experiments for deterministic FSMs.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2017

Homing Sequence Derivation with Quantified Boolean Satisfiability.

[BibT_eX]

[DOI]

Proceedings of the Testing Software and Systems, 2017

Quality Estimation of Virtual Machine Placement in Cloud Infrastructures.

[BibT_eX]

[DOI]

Proceedings of the Testing Software and Systems, 2017

Analyzing and Validating Virtual Network Requests.

[BibT_eX]

[DOI]

Proceedings of the 12th International Conference on Software Technologies, 2017

Automatic Derivation and Validation of a Cloud Dataset for Insider Threat Detection.

[BibT_eX]

[DOI]

Pamela Carvallo

Ana R. Cavalli

Proceedings of the 12th International Conference on Software Technologies, 2017

Decreasing the complexity of deriving test suites against nondeterministic finite state machines.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE East-West Design & Test Symposium, 2017

Proactive Trust Assessment of Systems as Services.

[BibT_eX]

[DOI]

Proceedings of the ENASE 2017, 2017

A Study of Threat Detection Systems and Techniques in the Cloud.

[BibT_eX]

[DOI]

Pamela Carvallo

Ana R. Cavalli

Proceedings of the Risks and Security of Internet and Systems, 2017

2016

On adaptive experiments for nondeterministic finite state machines.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2016

Some classes of finite state machines with polynomial length of distinguishing test cases.

[BibT_eX]

[DOI]

Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

Improving Protocol Passive Testing through "Gedanken" Experiments with Finite State Machines.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE International Conference on Software Quality, 2016

Reducing the Complexity of Checking the Existence and Derivation of Adaptive Synchronizing Experiments for Nondeterministic FSMs.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn, 2016

An Implementation of a QoE Evaluation Technique Including Business Model Parameters.

[BibT_eX]

[DOI]

Proceedings of the 11th International Joint Conference on Software Technologies (ICSOFT 2016) - Volume 2: ICSOFT-PT, Lisbon, Portugal, July 24, 2016

Testing logic circuits at different abstraction levels: An experimental evaluation.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE East-West Design & Test Symposium, 2016

Optimizing network utilization through source code state model representation.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE East-West Design & Test Symposium, 2016

On Source Code Optimization for Interpreted Languages using State Models.

[BibT_eX]

[DOI]

Proceedings of the ENASE 2016, 2016

2015

Adaptive Homing is in P.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Tenth Workshop on Model Based Testing, 2015

Describing Homing and Distinguishing Sequences for Nondeterministic Finite State Machines via Synchronizing Automata.

[BibT_eX]

[DOI]

Proceedings of the Implementation and Application of Automata, 2015

Heuristics for Deriving Adaptive Homing and Distinguishing Sequences for Nondeterministic Finite State Machines.

[BibT_eX]

[DOI]

Proceedings of the Testing Software and Systems, 2015

QoE Evaluation Based on QoS and QoBiz Parameters Applied to an OTT Service.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE International Conference on Web Services, 2015

Decreasing the length of adaptive distinguishing experiments for nondeterministic merging-free finite state machines.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE East-West Design & Test Symposium, 2015

On using ABC for deriving distinguishing sequences for Verilog-descriptions.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE East-West Design & Test Symposium, 2015

Scalable QoE Prediction for Service Composition.

[BibT_eX]

[DOI]

Proceedings of the ESaaSA 2015, 2015

2014

On the complexity of existence of homing sequences for nondeterministic finite state machines.

[BibT_eX]

[DOI]

Natalia G. Kushik

Victor V. Kulyamin

Nina V. Evtushenko

Program. Comput. Softw., 2014

QoE Prediction for Multimedia Services: Comparing Fuzzy and Logic Network Approaches.

[BibT_eX]

[DOI]

Int. J. Organ. Collect. Intell., 2014

Evaluating Web Service QoE by Learning Logic Networks.

[BibT_eX]

[DOI]

Proceedings of the WEBIST 2014, 2014

On Testing against Partial Non-observable Specifications.

[BibT_eX]

[DOI]

Ana R. Cavalli

Proceedings of the 9th International Conference on the Quality of Information and Communications Technology, 2014

2013

On the Length of Homing Sequences for Nondeterministic Finite State Machines.

[BibT_eX]

[DOI]

Proceedings of the Implementation and Application of Automata, 2013

Evaluating Web Service Quality Using Finite State Models.

[BibT_eX]

[DOI]

Proceedings of the 2013 13th International Conference on Quality Software, 2013

Adaptive Homing and Distinguishing Experiments for Nondeterministic Finite State Machines.

[BibT_eX]

[DOI]

Khaled El-Fakih

Proceedings of the Testing Software and Systems, 2013

Evaluating Quality of Web Services: A Short Survey.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE 20th International Conference on Web Services, Santa Clara, CA, USA, June 28, 2013

2012

A SPIN-based approach for detecting vulnerabilities in C programs.

[BibT_eX]

[DOI]

Edgardo Montes de Oca

Autom. Control. Comput. Sci., 2012

2011

Preset and Adaptive Homing Experiments for Nondeterministic Finite State Machines.

[BibT_eX]

[DOI]

Khaled El-Fakih