Application of finite automatons for program testing. - Igor B. Burdonov; Alexander S. Kossatchev; Victor V. Kulyamin (Program. Comput. Softw., 2000)

Java Specification Extension for Automated Test Development. - Igor B. Bourdonov; Alexey V. Demakov; Andrew A. Jarov; Alexander S. Kossatchev; Victor V. Kuliamin; Alexander K. Petrenko; Sergey V. Zelenov (Ershov Memorial Conference, 2001)

UniTesK Test Suite Architecture. - Igor B. Bourdonov; Alexander S. Kossatchev; Victor V. Kuliamin; Alexander K. Petrenko (FME, 2002)

Integration of Functional and Timed Testing of Real-Time and Concurrent Systems. - Victor V. Kuliamin; Alexander K. Petrenko; Nick V. Pakoulin; Alexander S. Kossatchev; Igor B. Bourdonov (Ershov Memorial Conference, 2003)

Irredundant Algorithms for Traversing Directed Graphs: The Deterministic Case. - Igor B. Bourdonov; Alexander S. Kossatchev; Victor V. Kuliamin (Program. Comput. Softw., 2003)

The UniTesK Approach to Designing Test Suites. - Victor V. Kuliamin; Alexander K. Petrenko; Alexander S. Kossatchev; Igor B. Burdonov (Program. Comput. Softw., 2003)

Model Based Testing of Large-scale Software: How Can Simple Models Help to Test Complex System. - Victor V. Kuliamin (ISoLA (Preliminary proceedings), 2004)

Multi-paradigm Models as Source for Automated Test Construction. - Victor V. Kuliamin (MBT, 2004)

Irredundant Algorithms for Traversing Directed Graphs: The Nondeterministic Case. - Igor B. Bourdonov; Alexander S. Kossatchev; Victor V. Kuliamin (Program. Comput. Softw., 2004)

Practical Approach to Specification and Conformance Testing of Distributed Network Applications. - Victor V. Kuliamin; Nick V. Pakoulin; Alexander K. Petrenko (ISAS, 2005)

Test Sequence Construction Using Minimum Information on the Tested System. - Victor V. Kuliamin (Program. Comput. Softw., 2005)

Formal Methods in Industrial Software Standards Enforcement. - Alexey Grinevich; Alexey V. Khoroshilov; Victor V. Kuliamin; Denis Markovtsev; Alexander K. Petrenko; Vladimir V. Rubanov (Ershov Memorial Conference, 2006)

Formal Conformance Testing of Systems with Refused Inputs and Forbidden Actions. - Igor B. Bourdonov; Alexander S. Kossatchev; Victor V. Kuliamin (MBT, 2006)

Formalization of test experiments. - Igor B. Bourdonov; Alexander S. Kossatchev; Victor V. Kuliamin (Program. Comput. Softw., 2007)

The use of contract specifications for representing requirements and for functional testing of hardware models. - V. P. Ivannikov; Alexander S. Kamkin; Alexander S. Kossatchev; Victor V. Kuliamin; Alexander K. Petrenko (Program. Comput. Softw., 2007)

Standardization and testing of implementations of mathematical functions in floating point numbers. - Victor V. Kuliamin (Program. Comput. Softw., 2007)

Test Construction for Mathematical Functions. - Victor V. Kuliamin (TestCom/FATES, 2008)

Automation of broad sanity test generation. - R. S. Zybin; Victor V. Kuliamin; Andrey V. Ponomarenko; Vladimir V. Rubanov; E. S. Chernov (Program. Comput. Softw., 2008)

Formal Methods: for All or for Chosen? - Victor V. Kuliamin; Vitaliy A. Omelchenko; Olga L. Petrenko (CSEDU (2), 2009)

Standardization and Testing of Mathematical Functions. - Victor V. Kuliamin (Ershov Memorial Conference, 2009)

Integration of verification methods for program systems. - Victor V. Kuliamin (Program. Comput. Softw., 2009)

Covering Arrays Generation Methods Survey. - Victor V. Kuliamin; Alexander Petukhov (ISoLA (2), 2010)

Component architecture of model-based testing environment. - Victor V. Kuliamin (Program. Comput. Softw., 2010)

A survey of methods for constructing covering arrays. - Victor V. Kuliamin; Alexander Petukhov (Program. Comput. Softw., 2011)

UniTESK: Component Model Based Testing. - Alexander K. Petrenko; Victor V. Kuliamin; Andrey Maksimov (ICTERI, 2013)

Towards the Usage of MBT at ETSI - Jens Grabowski; Victor V. Kuliamin; Alain-Georges Vouffo Feudjio; Antal Wu-Hen-Chang; Milan Zoric (MBT, 2013)

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

Evolution of the UniTESK test development technology. - Victor V. Kuliamin; Alexander K. Petrenko (Program. Comput. Softw., 2014)

On the complexity of existence of homing sequences for nondeterministic finite state machines. - Natalia G. Kushik; Victor V. Kulyamin; Nina V. Evtushenko (Program. Comput. Softw., 2014)

Using Refinement in Formal Development of OS Security Model. - Petr N. Devyanin; Alexey V. Khoroshilov; Victor V. Kuliamin; Alexander K. Petrenko; Ilya V. Shchepetkov (Ershov Memorial Conference, 2015)

Parallel computations on a graph. - Igor B. Bourdonov; Alexander S. Kossatchev; Victor V. Kulyamin (Program. Comput. Softw., 2015)

Analysis of a graph by a set of automata. - Igor B. Bourdonov; Alexander S. Kossatchev; Victor V. Kulyamin (Program. Comput. Softw., 2015)

Comparison of specification decomposition methods in Event-B. - Petr N. Devyanin; Victor V. Kulyamin; Alexander K. Petrenko; Alexey V. Khoroshilov; Ilya V. Shchepetkov (Program. Comput. Softw., 2016)

Evaluating the Complexity of Deriving Adaptive Homing, Synchronizing and Distinguishing Sequences for Nondeterministic FSMs. - Nina Yevtushenko 001; Victor V. Kuliamin; Natalia Kushik (ICTSS, 2019)

Integrating RBAC, MIC, and MLS in Verified Hierarchical Security Model for Operating System. - Petr N. Devyanin; Alexey V. Khoroshilov; Victor V. Kuliamin; Alexander K. Petrenko; Ilya V. Shchepetkov (Program. Comput. Softw., 2020)

Evaluating the complexity of deriving adaptive S'-homing and S'-synchronizing sequences for nondeterministic FSMs. - Nina Yevtushenko 001; Victor V. Kuliamin; Natalia Kushik (Softw. Qual. J., 2022)

Runtime Verification of Operating Systems Based on Abstract Models. - Denis Efremov; Viktoria V. Kopach; Eugene Kornykhin; Victor V. Kuliamin; Alexander K. Petrenko; Alexey V. Khoroshilov; Ilya V. Shchepetkov (Program. Comput. Softw., 2023)

A Survey of Software Dynamic Analysis Methods. - Victor V. Kuliamin (Program. Comput. Softw., 2024)