A Survey of Software Dynamic Analysis Methods von Kuliamin, V. V.

Volltext

Combinatorial generation of operation system software configurations von Kuliamin, V.V.

Volltext

Runtime Verification of Operating Systems Based on Abstract Models von Efremov, D. V., Kopach, V. V., Kornykhin, E. V., Kuliamin, V. V., Petrenko, A. K., Khoroshilov, A. V., Shchepetkov, I. V.

Volltext

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

Volltext

Integrating RBAC, MIC, and MLS in Verified Hierarchical Security Model for Operating System von Devyanin, P. N., Khoroshilov, A. V., Kuliamin, V. V., Petrenko, A. K., Shchepetkov, I. V.

Volltext

A survey of methods for constructing covering arrays von Kuliamin, V. V., Petukhov, A. A.

Volltext

Asynchronous Distributed Algorithms for Static and Dynamic Directed Rooted Graphs von Burdonov, I., Kossatchev, A., Kuliamin, V., Tomilin, A., Shnitman, V.

Volltext

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

Volltext

Integration of verification methods for program systems von Kuliamin, V. V.

Volltext

Model Based Testing Framework Using Component Technologies von Victor V. Kuliamin

Volltext

Standardization and testing of implementations of mathematical functions in floating point numbers von Kuliamin, V. V.

Volltext

Test Sequence Construction Using Minimum Information on the Tested System von Kuliamin, V. V.

Volltext

Automation of broad sanity test generation von Zybin, R. S., Kuliamin, V. V., Ponomarenko, A. V., Rubanov, V. V., Chernov, E. S.

Volltext

The UniTesK Approach to Designing Test Suites von Kuliamin, V. V., Petrenko, A. K., Kossatchev, A. S., Burdonov, I. B.

Volltext

The use of contract specifications for representing requirements and for functional testing of hardware models von Ivannikov, V. P., Kamkin, A. S., Kossatchev, A. S., Kuliamin, V. V., Petrenko, A. K.

Volltext

Irredundant Algorithms for Traversing Directed Graphs: The Nondeterministic Case von Bourdonov, I. B., Kossatchev, A. S., Kuliamin, V. V.

Volltext

Practical Approach to Specification and Conformance Testing of Distributed Network Applications von Kuliamin, Victor V., Pakoulin, Nickolay V., Petrenko, Alexander K.

Volltext

Using Refinement in Formal Development of OS Security Model von Devyanin, Petr N., Khoroshilov, Alexey V., Kuliamin, Victor V., Petrenko, Alexander K., Shchepetkov, Ilya V.

Volltext

Formal Verification of OS Security Model with Alloy and Event-B von Devyanin, Petr N., Khoroshilov, Alexey V., Kuliamin, Victor V., Petrenko, Alexander K., Shchepetkov, Ilya V.

Volltext

Multi-paradigm Models as Source for Automated Test Construction von Kuliamin, Victor V.

Volltext