Alexander S. Kossatchev

According to our database, Alexander S. Kossatchev authored at least 33 papers between 1990 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2021

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

Igor B. Bourdonov, Evgenii M. Vinarskii, Nina V. Evtushenko, Alexander S. Kossatchev

Program. Comput. Softw., 2021

2020

Separating Input/Output Automata With Nondeterministic Behavior.

Igor B. Burdonov, Nina Yevtushenko, Alexander S. Kossatchev

Russ. Digit. Libr. J., 2020

2018

Deriving Synchronizing and Homing Sequences for Input/Output Automata.

Natalia Kushik, Nina Yevtushenko, Igor B. Bourdonov, Alexander S. Kossatchev

Autom. Control. Comput. Sci., 2018

2015

Analysis of a graph by a set of automata.

Igor B. Bourdonov, Alexander S. Kossatchev, Victor V. Kulyamin

Program. Comput. Softw., 2015

Parallel computations on a graph.

Igor B. Bourdonov, Alexander S. Kossatchev, Victor V. Kulyamin

Program. Comput. Softw., 2015

2014

Deriving complete finite tests based on state machines.

Igor B. Burdonov, Alexander S. Kossatchev, Nina Yevtushenko

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

2013

Agreement between conformance and composition.

Igor B. Bourdonov, Alexander S. Kossatchev

Program. Comput. Softw., 2013

Formalization of a test experiment-II.

Igor B. Bourdonov, Alexander S. Kossatchev

Program. Comput. Softw., 2013

2011

Specification completion for IOCO.

Igor B. Bourdonov, Alexander S. Kossatchev

Program. Comput. Softw., 2011

Safe simulation testing of systems with refusals and destructions.

Igor B. Burdonov, Alexander S. Kosachev

Autom. Control. Comput. Sci., 2011

2010

Interaction semantics with refusals, divergence, and destruction.

Igor B. Bourdonov, Alexander S. Kossatchev

Program. Comput. Softw., 2010

2009

Complete open-state testing of limitedly nondeterministic systems.

Igor B. Bourdonov, Alexander S. Kossatchev

Program. Comput. Softw., 2009

Systems with priorities: Conformance, testing, and composition.

Igor B. Bourdonov, Alexander S. Kossatchev

Program. Comput. Softw., 2009

Virtualization-based separation of privilege: working with sensitive data in untrusted environment.

Igor B. Burdonov, Alexander S. Kosachev, Pavel Iakovenko

Proceedings of the 1st EuroSys Workshop on Virtualization Technology for Dependable Systems, 2009

2007

The use of contract specifications for representing requirements and for functional testing of hardware models.

V. P. Ivannikov, Alexander S. Kamkin, Alexander S. Kossatchev, Victor V. Kuliamin, Alexander K. Petrenko

Program. Comput. Softw., 2007

Formalization of test experiments.

Igor B. Bourdonov, Alexander S. Kossatchev, Victor V. Kuliamin

Program. Comput. Softw., 2007

2006

Formal Conformance Testing of Systems with Refused Inputs and Forbidden Actions.

Igor B. Bourdonov, Alexander S. Kossatchev, Victor V. Kuliamin

Proceedings of the Second Workshop on Model Based Testing, 2006

Operating System of the Multi-machine Computer AS-6.

Igor B. Bourdonov, V. P. Ivannikov, Alexander S. Kossatchev, Sergey D. Kuznetsov, A. N. Tomilin

Proceedings of the Perspectives on Soviet and Russian Computing, 2006

2005

Survey of compiler testing methods.

Alexander S. Kossatchev, Mikhail Posypkin

Program. Comput. Softw., 2005

2004

Automated Generation of Strictly Conforming Tests Based on Formal Specification of Dynamic Semantics of the Programming Language.

Alexander S. Kossatchev, P. Kutter, Mikhail Posypkin

Program. Comput. Softw., 2004

Irredundant Algorithms for Traversing Directed Graphs: The Nondeterministic Case.

Igor B. Bourdonov, Alexander S. Kossatchev, Victor V. Kuliamin

Program. Comput. Softw., 2004

Preface.

Yuri Gurevich, Alexander K. Petrenko, Alexander S. Kossatchev

Proceedings of the Workshop on Model Based Testing, 2004

2003

Test Generation for Compilers and Other Formal Text Processors.

Sergey V. Zelenov, Sophia A. Zelenova, Alexander S. Kossatchev, Alexander K. Petrenko

Program. Comput. Softw., 2003

The UniTesK Approach to Designing Test Suites.

Victor V. Kuliamin, Alexander K. Petrenko, Alexander S. Kossatchev, Igor B. Burdonov

Program. Comput. Softw., 2003

Irredundant Algorithms for Traversing Directed Graphs: The Deterministic Case.

Igor B. Bourdonov, Alexander S. Kossatchev, Victor V. Kuliamin

Program. Comput. Softw., 2003

Coverage-driven Automated Compiler Test Suite Generation.

Alexey Ya. Kalinov, Alexander S. Kossatchev, Alexander K. Petrenko, Mikhail Posypkin, Vladimir Shishkov

Proceedings of the Workshop on Language Descriptions, Tools and Applications, 2003

Integration of Functional and Timed Testing of Real-Time and Concurrent Systems.

Victor V. Kuliamin, Alexander K. Petrenko, Nick V. Pakoulin, Alexander S. Kossatchev, Igor B. Bourdonov

Proceedings of the Perspectives of Systems Informatics, 2003

Using ASM Specifications for Compiler Testing.

Alexey Ya. Kalinov, Alexander S. Kossatchev, Alexander K. Petrenko, Mikhail Posypkin, Vladimir Shishkov

Proceedings of the Abstract State Machines, 2003

2002

UniTesK Test Suite Architecture.

Igor B. Bourdonov, Alexander S. Kossatchev, Victor V. Kuliamin, Alexander K. Petrenko

Proceedings of the FME 2002: Formal Methods, 2002

2001

Java Specification Extension for Automated Test Development.

Igor B. Bourdonov, Alexey V. Demakov, Andrew A. Jarov, Alexander S. Kossatchev, Victor V. Kuliamin, Alexander K. Petrenko, Sergey V. Zelenov

Proceedings of the Perspectives of System Informatics, 2001

2000

Application of finite automatons for program testing.

Igor B. Burdonov, Alexander S. Kossatchev, Victor V. Kulyamin

Program. Comput. Softw., 2000

1999

KVEST: Automated Generation of Test Suites from Formal Specifications.

Igor B. Burdonov, Alexander S. Kossatchev, Alexander K. Petrenko, Dmitri Galter

Proceedings of the FM'99 - Formal Methods, 1999

1990

The CLOS Project: Towards on Object-Oriented Environment for Application Development.

Igor B. Burdonov, Victor Ivannikov, German Kopytov, Alexander S. Kosachev, Sergei Kuznetsoz

Proceedings of the Next Generation Information System Technology, 1990