Combinatorial generation of operation system software configurations

by V. V. Kuliamin
Published 2018-10-01

Model Based Testing Framework Using Component Technologies

by Victor V. Kuliamin.
Published 2018-10-01

Evolution of UniTESK Test Development Technology

by V. Kuliamin, A. Petrenko
Published 2018-10-01

Component-based verification of operating systems

by V. V. Kuliamin, A. K. Petrenko, A. V. Khoroshilov
Published 2019-02-01

Integration Points of Operating System Verification Techniques

by A. K. Petrenko, V. V. Kuliamin, A. V. Khoroshilov
Published 2018-10-01

Verification and analysis of variable operating systems

by V. V. Kuliamin, E. M. Lavrischeva, V. S. Mutilin, A. K. Petrenko
Published 2018-10-01

How the story of UniTESK technology applications mirrors development of model based testing

by V. P. Ivannikov, A. K. Petrenko, V. V. Kuliamin, A. V. Maksimov
Published 2018-10-01

Asynchronous Distributed Algorithms for Static and Dynamic Directed Rooted Graphs

by I. B. Burdonov, A. S. Kossatchev, V. V. Kuliamin, A. N. Tomilin, V. Z. Shnitman
Published 2018-10-01

Testing of Operating Systems

by E. A. Gerlits, V. V. Kuliamin, A. V. Maksimov, A. K. Petrenko, A. V. Khoroshilov, A. V. Tsyvarev
Published 2018-10-01