Combinatorial generation of operation system software configurations by V. V. Kuliamin

Get full text

Evolution of UniTESK Test Development Technology by V. Kuliamin, A. Petrenko

Get full text

Component-based verification of operating systems by V. V. Kuliamin, A. K. Petrenko, A. V. Khoroshilov

Get full text

Integration Points of Operating System Verification Techniques by A. K. Petrenko, V. V. Kuliamin, A. V. Khoroshilov

Get full text

Verification and analysis of variable operating systems by V. V. Kuliamin, E. M. Lavrischeva, V. S. Mutilin, A. K. Petrenko

Get full text

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

Get full text

Testing of Operating Systems by E. A. Gerlits, V. V. Kuliamin, A. V. Maksimov, A. K. Petrenko, A. V. Khoroshilov, A. V. Tsyvarev

Get full text