Deriving Synchronizing and Homing Sequences for Input/Output Automata von Kushik, Natalia G., Yevtushenko, Nina V., Burdonov, Igor B., Kossatchev, Alexander S.

Volltext

Java Specification Extension for Automated Test Development von Bourdonov, Igor B., Demakov, Alexey V., Jarov, Andrew A., Kossatchev, Alexander S., Kuliamin, Victor V., Petrenko, Alexander K., Zelenov, Sergey V.

Volltext

UniTesK test suite architecture von BOURDONOV, Igor B, KOSSATCHEV, Alexander S, KULIAMIN, Victor V, PETRENKO, Alexander K

Volltext

Java specification extension for automated test development von BOURDONOV, Igor B, DEMAKOV, Alexey V, JAROV, Andrew A, KOSSATCHEV, Alexander S, KULIAMIN, Victor V, PETRENKO, Alexander K, ZELENOV, Sergey V

Volltext

Method and system for testing behavior of procedures von KOSSATCHEV ALEXANDER S, BURDONOV IGOR B, PETRENKO ALEXANDER K, GALTER DMITRI, BARANCEV ALEXEI V

Volltext bestellen

Method and system for testing behavior of procedures von Kossatchev, Alexander S, Barancev, Alexei V, Burdonov, Igor B, Petrenko, Alexander K, Galter, Dmitri

Volltext bestellen

Method and system for forming skeletons for generating verification systems von DEMAKOV ALEXEI V, KOSSATCHEV ALEXANDER S, BURDONOV IGOR B, PETRENKO ALEXANDER K, GALTER DMITRI, SUMAR HARRY M, BARANCEV ALEXEI V

Volltext bestellen

Method and system for forming skeletons for generating verification systems von Kossatchev, Alexander S, Barancev, Alexei V, Burdonov, Igor B, Demakov, Alexei V, Petrenko, Alexander K, Sumar, Harry M, Galter, Dmitri

Volltext bestellen

Method and system for describing predicates in disjuncts in procedures for test coverage estimation von SAZANOV JURI L, PETRENKO ALEXANDER K, BURDONOV IGOR B, KOSSATCHEV ALEXANDER S, GALTER DMITRI, SUMAR HARRY M, MAXIMOV ANDREI V

Volltext bestellen

Method and system for describing predicates in disjuncts in procedures for test coverage estimation von Petrenko, Alexander K, Burdonov, Igor B, Kossatchev, Alexander S, Maximov, Andrei V, Sazanov, Juri L, Sumar, Harry M, Galter, Dmitri

Volltext bestellen

Studying Load Issues in Software-Defined Networks von Burdonov, Igor Borisovich, Yevtushenko, Nina Vladimirovna, Kossatchev, Alexander Sergeevitch

Volltext

Parallel Calculations on Dynamic Graph von Burdonov, Igor, Kossatchev, Alexander

Volltext

Conformance theory development: semantics, formal models, algorithms von Burdonov, Igor, Kossatchev, Alexander

Volltext

Automata system: determinism conditions and testing von Burdonov, I.B., Kossatchev, A.S.

Volltext

Error dependencies on classes of implementations under testing von Burdonov, Igor, Kosachev, Alexander

Volltext

Secure Implementing a Virtual Network on the SDN Data Plane von Burdonov, Igor Borisovich, Yevtushenko, Nina Vladimirovna, Kossatchev, Alexander Sergeevitch

Volltext

Perfect sets of paths in the full graph of SDN network switches von Burdonov, Igor, Vinarsky, Evgeny, Yevtushenko, Nina, Kossatchev, Alexander

Volltext

Preface von Gurevich, Yuri, Petrenko, Alexander K., Kossatchev, Alexander

Volltext

Method and system for testing behaviour of procedures von KOSSATCHEV, ALEXANDRE K, PETRENKO, ALEXANDER K, BARANCEV, ALEXEI V, BURDONOV, IGOR B, GALTER, DMITRI

Volltext bestellen

Method and system for testing behaviour of procedures von KOSSATCHEV, ALEXANDRE K, PETRENKO, ALEXANDER K, BARANCEV, ALEXEI V, BURDONOV, IGOR B, GALTER, DMITRI

Volltext bestellen