Alexander S. Kossatchev

31 papers Journal 21Unranked 10
YearRankTypeTitle / Venue / Authors
2025 J jnl
Improving System Survivability by Path Duplication.
Program. Comput. Softw.
Igor B. Bourdonov, Nina V. Evtushenko, Alexander S. Kossatchev
2021 J jnl
Perfect Sets of Paths in the Full Graph of SDN Switches.
Program. Comput. Softw.
Igor B. Bourdonov, Evgenii M. Vinarskii, Nina V. Evtushenko, Alexander S. Kossatchev
2020 J jnl
Separating Input/Output Automata With Nondeterministic Behavior.
Russ. Digit. Libr. J.
Igor B. Burdonov, Nina Yevtushenko, Alexander S. Kossatchev
2018 J jnl
Deriving Synchronizing and Homing Sequences for Input/Output Automata.
Autom. Control. Comput. Sci.
Natalia Kushik, Nina Yevtushenko, Igor B. Bourdonov, Alexander S. Kossatchev
2015 J jnl
Analysis of a graph by a set of automata.
Program. Comput. Softw.
Igor B. Bourdonov, Alexander S. Kossatchev, Victor V. Kulyamin
2015 J jnl
Parallel computations on a graph.
Program. Comput. Softw.
Igor B. Bourdonov, Alexander S. Kossatchev, Victor V. Kulyamin
2014 — conf
Deriving complete finite tests based on state machines.
EWDTS
Igor B. Burdonov, Alexander S. Kossatchev, Nina Yevtushenko
2013 J jnl
Agreement between conformance and composition.
Program. Comput. Softw.
Igor B. Bourdonov, Alexander S. Kossatchev
2013 J jnl
Formalization of a test experiment-II.
Program. Comput. Softw.
Igor B. Bourdonov, Alexander S. Kossatchev
2011 J jnl
Specification completion for IOCO.
Program. Comput. Softw.
Igor B. Bourdonov, Alexander S. Kossatchev
2010 J jnl
Interaction semantics with refusals, divergence, and destruction.
Program. Comput. Softw.
Igor B. Bourdonov, Alexander S. Kossatchev
2009 J jnl
Complete open-state testing of limitedly nondeterministic systems.
Program. Comput. Softw.
Igor B. Bourdonov, Alexander S. Kossatchev
2009 J jnl
Systems with priorities: Conformance, testing, and composition.
Program. Comput. Softw.
Igor B. Bourdonov, Alexander S. Kossatchev
2007 J jnl
Formalization of test experiments.
Program. Comput. Softw.
Igor B. Bourdonov, Alexander S. Kossatchev, Victor V. Kuliamin
2007 J jnl
The use of contract specifications for representing requirements and for functional testing of hardware models.
Program. Comput. Softw.
V. P. Ivannikov, Alexander S. Kamkin, Alexander S. Kossatchev, Victor V. Kuliamin, Alexander K. Petrenko
2006 — conf
Formal Conformance Testing of Systems with Refused Inputs and Forbidden Actions.
MBT
Igor B. Bourdonov, Alexander S. Kossatchev, Victor V. Kuliamin
2006 — conf
Operating System of the Multi-machine Computer AS-6.
SoRuCom
Igor B. Bourdonov, V. P. Ivannikov, Alexander S. Kossatchev, Sergey D. Kuznetsov, A. N. Tomilin
2005 J jnl
Survey of compiler testing methods.
Program. Comput. Softw.
Alexander S. Kossatchev, Mikhail Posypkin
2004 J jnl
Automated Generation of Strictly Conforming Tests Based on Formal Specification of Dynamic Semantics of the Programming Language.
Program. Comput. Softw.
Alexander S. Kossatchev, P. Kutter, Mikhail Posypkin
2004 J jnl
Irredundant Algorithms for Traversing Directed Graphs: The Nondeterministic Case.
Program. Comput. Softw.
Igor B. Bourdonov, Alexander S. Kossatchev, Victor V. Kuliamin
2004 — conf
Preface.
MBT
Yuri Gurevich, Alexander K. Petrenko, Alexander S. Kossatchev
2003 — conf
Coverage-driven Automated Compiler Test Suite Generation.
LDTA@ETAPS
Alexey Ya. Kalinov, Alexander S. Kossatchev, Alexander K. Petrenko, Mikhail Posypkin, Vladimir Shishkov
2003 — conf
Integration of Functional and Timed Testing of Real-Time and Concurrent Systems.
Ershov Memorial Conference
Victor V. Kuliamin, Alexander K. Petrenko, Nick V. Pakoulin, Alexander S. Kossatchev, Igor B. Bourdonov
2003 J jnl
Irredundant Algorithms for Traversing Directed Graphs: The Deterministic Case.
Program. Comput. Softw.
Igor B. Bourdonov, Alexander S. Kossatchev, Victor V. Kuliamin
2003 J jnl
Test Generation for Compilers and Other Formal Text Processors.
Program. Comput. Softw.
Sergey V. Zelenov, Sophia A. Zelenova, Alexander S. Kossatchev, Alexander K. Petrenko
2003 J jnl
The UniTesK Approach to Designing Test Suites.
Program. Comput. Softw.
Victor V. Kuliamin, Alexander K. Petrenko, Alexander S. Kossatchev, Igor B. Burdonov
2003 — conf
Using ASM Specifications for Compiler Testing.
Abstract State Machines
Alexey Ya. Kalinov, Alexander S. Kossatchev, Alexander K. Petrenko, Mikhail Posypkin, Vladimir Shishkov
2002 — conf
UniTesK Test Suite Architecture.
FME
Igor B. Bourdonov, Alexander S. Kossatchev, Victor V. Kuliamin, Alexander K. Petrenko
2001 — conf
Java Specification Extension for Automated Test Development.
Ershov Memorial Conference
Igor B. Bourdonov, Alexey V. Demakov, Andrew A. Jarov, Alexander S. Kossatchev, Victor V. Kuliamin, Alexander K. Petrenko, Sergey V. Zelenov
2000 J jnl
Application of finite automatons for program testing.
Program. Comput. Softw.
Igor B. Burdonov, Alexander S. Kossatchev, Victor V. Kulyamin
1999 — conf
KVEST: Automated Generation of Test Suites from Formal Specifications.
World Congress on Formal Methods
Igor B. Burdonov, Alexander S. Kossatchev, Alexander K. Petrenko, Dmitri Galter