Nina Yevtushenko

Comput. J., September, 2023

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

[BibT_eX]

[DOI]

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

Adaptive Experiments for State Identification in Finite State Machines with Timeouts.

[BibT_eX]

[DOI]

Proceedings of the Machines, Computations, and Universality - 9th International Conference, 2022

Deriving FSM-based tests using $a, b-\text{faults}$ for Logic Circuits.

[BibT_eX]

[DOI]

Andrey Laputenko

Valentina Andreeva

Anzhela Yu. Matrosova

Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2022

2021

Perfect Sets of Paths in the Full Graph of SDN Switches.

[BibT_eX]

[DOI]

Igor B. Bourdonov

Program. Comput. Softw., 2021

Equivalence checking and intersection of deterministic timed finite state machines.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2021

Deriving Homing Sequences for Finite State Machines with Timed Guards.

[BibT_eX]

[DOI]

Autom. Control. Comput. Sci., 2021

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

[BibT_eX]

[DOI]

Proceedings of the Testing Software and Systems, 2021

Adaptive Homing Sequences for Partial Weakly-initialized Observable FSMs.

[BibT_eX]

[DOI]

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

Verifying Multiple Virtual Networks in Software Defined Networks.

[BibT_eX]

[DOI]

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

Preventive Model-based Verification and Repairing for SDN Requests.

[BibT_eX]

[DOI]

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

2020

Separating Input/Output Automata With Nondeterministic Behavior.

[BibT_eX]

[DOI]

Russ. Digit. Libr. J., 2020

Novel machine learning technique for predicting teaching strategy effectiveness.

[BibT_eX]

[DOI]

Tatiana G. Evtushenko

Int. J. Inf. Manag., 2020

Using an SMT Solver for Checking the Completeness of FSM-Based Tests.

[BibT_eX]

[DOI]

Andrey Laputenko

Proceedings of the Testing Software and Systems, 2020

Deriving Distinguishing Sequences for Input/Output Automata.

[BibT_eX]

[DOI]

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

Evaluating Length of a Shortest Adaptive Homing Sequence for Weakly Initialized FSMs.

[BibT_eX]

[DOI]

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

Optimizing Components of Multi-Module Systems Based on don't Care Input Sequences.

[BibT_eX]

[DOI]

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

Implementing a Virtual Network on the SDN Data Plane.

[BibT_eX]

[DOI]

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

2019

Guest Editorial: Special issue on Testing Software and Systems.

[BibT_eX]

[DOI]

Ana Rosa Cavalli

Softw. Qual. J., 2019

Verifying SDN Data Path Requests.

[BibT_eX]

[DOI]

CoRR, 2019

Incremental and Heuristic Approaches for Deriving Adaptive Distinguishing Test Cases for Non-deterministic Finite-State Machines.

[BibT_eX]

[DOI]

Ayat Saleh

Comput. J., 2019

Distinguishing Transition Systems With The Nondeterministic Behavior.

[BibT_eX]

[DOI]

Alexander S. Kossachev

Proceedings of the 21st Conference on Scientific Services & Internet (SSI-2019), 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

Deriving adaptive homing sequences for weakly initialized nondeterministic FSMs.

[BibT_eX]

[DOI]

Larisa Evtushenko

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

Evaluating the length of distinguishing sequences for nondeterministic Input/Output automata.

[BibT_eX]

[DOI]

Alexey V. Demakov

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

2018

Parallel algorithms for reducing derivation time of distinguishing experiments for nondeterministic finite state machines.

[BibT_eX]

[DOI]

Int. J. Parallel Emergent Distributed Syst., 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]

Formal Aspects Comput., 2018

Deriving Synchronizing and Homing Sequences for Input/Output Automata.

[BibT_eX]

[DOI]

Igor B. Bourdonov

Autom. Control. Comput. Sci., 2018

Deriving Tests with Guaranteed Fault Coverage for Finite State Machines with Timeouts.

[BibT_eX]

[DOI]

Proceedings of the Testing Software and Systems, 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]

Djamal Zeghlache

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

Testing Timed Nondeterministic Finite State Machines with the Guaranteed Fault Coverage.

[BibT_eX]

[DOI]

Maxim Gromov

Autom. Control. Comput. Sci., 2017

Deriving Test Suites with the Guaranteed Fault Coverage for Extended Finite State Machines.

[BibT_eX]

[DOI]

Anton Ermakov

Autom. Control. Comput. Sci., 2017

Analyzing and Validating Virtual Network Requests.

[BibT_eX]

[DOI]

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

2016

On adaptive experiments for nondeterministic finite state machines.

[BibT_eX]

[DOI]

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

Distinguishing extended finite state machine configurations using predicate abstraction.

[BibT_eX]

[DOI]

J. Softw. Eng. Res. Dev., 2016

Test Translation for Embedded Finite State Machine Components.

[BibT_eX]

[DOI]

Comput. J., 2016

Heuristics for deriving distinguishing experiments of nondeterministic finite state machines.

[BibT_eX]

[DOI]

Appl. Soft Comput., 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

On-the-Fly Construction of Adaptive Checking Sequences for Testing Deterministic Implementations of Nondeterministic Specifications.

[BibT_eX]

[DOI]

Anton Ermakov

Proceedings of the Testing Software and Systems, 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

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

Testing components of interacting timed finite state machines.

[BibT_eX]

[DOI]

Maxim Gromov

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

Component-Based Design by Solving Language Equations.

[BibT_eX]

[DOI]

Proc. IEEE, 2015

Adaptive Homing is in P.

[BibT_eX]

[DOI]

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

Deriving Compositionally Deadlock-Free Components over Synchronous Automata Compositions.

[BibT_eX]

[DOI]

Comput. J., 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

Automated Synthesis of Protocol Converters with BALM-II.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods, 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

A practical approach for testing timed deterministic finite state machines with single clock.

[BibT_eX]

[DOI]

Adenilso Simão

Sci. Comput. Program., 2014

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

[BibT_eX]

[DOI]

Natalia G. Kushik

Victor V. Kulyamin

Program. Comput. Softw., 2014

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

[BibT_eX]

[DOI]

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

Deterministic Timed Finite State Machines: Equivalence Checking and Expressive Power.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Fifth International Symposium on Games, 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]

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

On Code Coverage of Extended FSM Based Test Suites: An Initial Assessment.

[BibT_eX]

[DOI]

Tariq Salameh

Proceedings of the Testing Software and Systems, 2014

Adaptive Testing of Nondeterministic Systems with FSM.

[BibT_eX]

[DOI]

Proceedings of the 15th International IEEE Symposium on High-Assurance Systems Engineering, 2014

Deriving complete finite tests based on state machines.

[BibT_eX]

[DOI]

Proceedings of the 2014 East-West Design & Test Symposium, 2014

2013

Distinguishing Experiments for Timed Nondeterministic Finite State Machines.

[BibT_eX]

[DOI]

Acta Cybern., 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]

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

On reducing test length for FSMs with extra states.

[BibT_eX]

[DOI]

Adenilso da Silva Simão

Softw. Test. Verification Reliab., 2012

FSM-based testing from user defined faults adapted to incremental and mutation testing.

[BibT_eX]

[DOI]

Program. Comput. Softw., 2012

Tight bound on the length of distinguishing sequences for non-observable nondeterministic Finite-State Machines with a polynomial number of inputs and outputs.

[BibT_eX]

[DOI]

Iksoon Hwang

Inf. Process. Lett., 2012

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

[BibT_eX]

[DOI]

Edgardo Montes de Oca

Autom. Control. Comput. Sci., 2012

Generating Checking Sequences for Nondeterministic Finite State Machines.

[BibT_eX]

[DOI]

Adenilso da Silva Simão

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

2011

Preset and Adaptive Homing Experiments for Nondeterministic Finite State Machines.

[BibT_eX]

[DOI]

Proceedings of the Implementation and Application of Automata, 2011

FSM-Based Test Derivation Strategies for Systems with Time-Outs.

[BibT_eX]

[DOI]

Proceedings of the 11th International Conference on Quality Software, 2011

Adaptive Testing of Deterministic Implementations Specified by Nondeterministic FSMs.

[BibT_eX]

[DOI]

Proceedings of the Testing Software and Systems, 2011

2010

Synthesis of distinguishing test cases for timed finite state machines.

[BibT_eX]

[DOI]

Maxim Gromov

Program. Comput. Softw., 2010

FSM-based conformance testing methods: A survey annotated with experimental evaluation.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2010

Deriving Exhaustive Test Suits for Nondeterministic FSMs w.r.t. Non-separability Relation.

[BibT_eX]

[DOI]

E. Akenshina

Natalia Shabaldina

Proceedings of the Third International Conference on Software Testing, 2010

2009

Discussion on Supervisory Control by Solving Automata Equation

[BibT_eX]

[DOI]

Victor Bushkov

Tiziano Villa

CoRR, 2009

Generating Reduced Tests for FSMs with Extra States.

[BibT_eX]

[DOI]

Adenilso da Silva Simão

Proceedings of the Testing of Software and Communication Systems, 2009

Testing Timed Finite State Machines with Guaranteed Fault Coverage.

[BibT_eX]

[DOI]

Hacène Fouchal

Proceedings of the Testing of Software and Communication Systems, 2009

Distinguing Non-deterministic Timed Finite State Machines.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Distributed Systems, 2009

2008

On the synthesis of adaptive tests for nondeterministic finite state machines.

[BibT_eX]

[DOI]

Maxim L. Gromov

Anton V. Kolomeets

Program. Comput. Softw., 2008

Compositionally Progressive Solutions of Synchronous FSM Equations.

[BibT_eX]

[DOI]

Discret. Event Dyn. Syst., 2008

Progressive Solutions to FSM Equations.

[BibT_eX]

[DOI]

Proceedings of the Implementation and Applications of Automata, 2008

Extended Finite State Machine Based Test Derivation Driven by User Defined Faults.

[BibT_eX]

[DOI]

Proceedings of the First International Conference on Software Testing, 2008

2007

Studying the separability relation between finite state machines.

[BibT_eX]

[DOI]

Natalia Spitsyna

Softw. Test. Verification Reliab., 2007

Testing Nondeterministic Finite State Machines with Respect to the Separability Relation.

[BibT_eX]

[DOI]

Natalia Shabaldina

Proceedings of the Testing of Software and Communicating Systems, 2007

A new algorithm for the largest compositionally progressive solution of synchronous language equations.

[BibT_eX]

[DOI]

Proceedings of the 17th ACM Great Lakes Symposium on VLSI 2007, 2007

2006

Progressive solutions to a parallel automata equation.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2006

FSM Test Translation Through Context.

[BibT_eX]

[DOI]

Proceedings of the Testing of Communicating Systems, 2006

2005

Testing from Partial Deterministic FSM Specifications.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2005

Experimental Evaluation of FSM-Based Testing Methods.

[BibT_eX]

[DOI]

Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 2005

An Improved Conformance Testing Method.

[BibT_eX]

[DOI]

Rita Dorofeeva

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2005

Conformance Tests as Checking Experiments for Partial Nondeterministic FSM.

[BibT_eX]

[DOI]

Proceedings of the Formal Approaches to Software Testing, 5th International Workshop, 2005

Efficient Solution of Language Equations Using Partitioned Representations.

[BibT_eX]

[DOI]

Alan Mishchenko

Robert K. Brayton

Jie-Hong Roland Jiang

Tiziano Villa

Proceedings of the 2005 Design, 2005

2004

FSM-Based Incremental Conformance Testing Methods.

[BibT_eX]

[DOI]

Gregor von Bochmann

IEEE Trans. Software Eng., 2004

FSM Based Interoperability Testing Methods for Multi Stimuli Model.

[BibT_eX]

[DOI]

Proceedings of the Testing of Communicating Systems, 16th IFIP International Conerence, 2004

Fault Propagation by Equation Solving.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2004

2003

Test suite minimization for testing in context.

[BibT_eX]

[DOI]

Ricardo Anido

Luiz A. Paula Lima Jr.

Softw. Test. Verification Reliab., 2003

Testing Transition Systems with Input and Output Testers.

[BibT_eX]

[DOI]

Jiale Huo

Proceedings of the Testing of Communicating Systems, 15th IFIP International Conference, 2003

Fault Diagnosis in Extended Finite State Machines.

[BibT_eX]

[DOI]

Proceedings of the Testing of Communicating Systems, 15th IFIP International Conference, 2003

Multi Component Digital Circuit Optimization by Solving FSM Equations.

[BibT_eX]

[DOI]

Svetlana Zharikova

Maria Vetrova

Proceedings of the 2003 Euromicro Symposium on Digital Systems Design (DSD 2003), 2003

Equisolvability of Series vs. Controller's Topology in Synchronous Language Equations.

[BibT_eX]

[DOI]

Proceedings of the 2003 Design, 2003

2002

FSM-based Re-Testing Methods.

[BibT_eX]

Gregor von Bochmann

Proceedings of the Testing of Communicating Systems XIV, Applications to Internet Technologies and Services, Proceedings of the IFIP 14th International Conference on Testing Communicating Systems, 2002

Fault Detection within a Component of a System of Communicating FSMs.

[BibT_eX]

Svetlana Prokopenko

2001

Solution of Parallel Language Equations for Logic Synthesis.

[BibT_eX]

[DOI]

Proceedings of the 2001 IEEE/ACM International Conference on Computer-Aided Design, 2001

Diagnosing Multiple Faults in Communicating Finite State Machines.

[BibT_eX]

Gregor von Bochmann

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2001

2000

Fault Detection Power of a Widely Used Test Suite for a System of Communicating FSMs.

[BibT_eX]

Svetlana Prokopenko

Proceedings of the Testing of Communicating Systems: Tools and Techniques, IFIP TC6/WG6.1 13<sup>th</sup> International Conference on Testing Communicating Systems (TestCom 2000), August 29, 2000

On Test Derivation from Partial Specifications.

[BibT_eX]

Proceedings of the Formal Techniques for Distributed System Development, 2000

1999

Test Suite Minimization for Embedded Nondeterministic Finite State Machines.

[BibT_eX]