Victor V. Kuliamin

Publication Activity (10 Years)

Years Active: 2001-2024
Publications (10 Years): 5

Top Topics

Microsoft Windows

Operating System

Skill Development

Top Venues

Program. Comput. Softw.

Ershov Memorial Conference

Softw. Qual. J.

Publications

Victor V. Kuliamin
A Survey of Software Dynamic Analysis Methods. Program. Comput. Softw. 50 (1) (2024)
Denis Efremov, Viktoria V. Kopach, Eugene Kornykhin, Victor V. Kuliamin, Alexander K. Petrenko, Alexey V. Khoroshilov, Ilya V. Shchepetkov
Runtime Verification of Operating Systems Based on Abstract Models. Program. Comput. Softw. 49 (7) (2023)
Nina Yevtushenko, Victor V. Kuliamin, Natalia Kushik
Evaluating the complexity of deriving adaptive S'-homing and S'-synchronizing sequences for nondeterministic FSMs. Softw. Qual. J. 30 (1) (2022)
Petr N. Devyanin, Alexey V. Khoroshilov, Victor V. Kuliamin, Alexander K. Petrenko, Ilya V. Shchepetkov
Integrating RBAC, MIC, and MLS in Verified Hierarchical Security Model for Operating System. Program. Comput. Softw. 46 (7) (2020)
Nina Yevtushenko, Victor V. Kuliamin, Natalia Kushik
Evaluating the Complexity of Deriving Adaptive Homing, Synchronizing and Distinguishing Sequences for Nondeterministic FSMs. ICTSS (2019)
Petr N. Devyanin, Alexey V. Khoroshilov, Victor V. Kuliamin, Alexander K. Petrenko, Ilya V. Shchepetkov
Using Refinement in Formal Development of OS Security Model. Ershov Memorial Conference (2015)
Victor V. Kuliamin, Alexander K. Petrenko
Evolution of the UniTESK test development technology. Program. Comput. Softw. 40 (5) (2014)
Petr N. Devyanin, Alexey V. Khoroshilov, Victor V. Kuliamin, Alexander K. Petrenko, Ilya V. Shchepetkov
Formal Verification of OS Security Model with Alloy and Event-B. ABZ (2014)
Alexander K. Petrenko, Victor V. Kuliamin, Andrey Maksimov
UniTESK: Component Model Based Testing. ICTERI (2013)
Jens Grabowski, Victor V. Kuliamin, Alain-Georges Vouffo Feudjio, Antal Wu-Hen-Chang, Milan Zoric
Towards the Usage of MBT at ETSI MBT (2013)
Victor V. Kuliamin, Alexander Petukhov
A survey of methods for constructing covering arrays. Program. Comput. Softw. 37 (3) (2011)
Victor V. Kuliamin
Component architecture of model-based testing environment. Program. Comput. Softw. 36 (5) (2010)
Victor V. Kuliamin, Alexander Petukhov
Covering Arrays Generation Methods Survey. ISoLA (2) (2010)
Victor V. Kuliamin
Integration of verification methods for program systems. Program. Comput. Softw. 35 (4) (2009)
Victor V. Kuliamin, Vitaliy A. Omelchenko, Olga L. Petrenko
Formal Methods: for All or for Chosen? CSEDU (2) (2009)
Victor V. Kuliamin
Standardization and Testing of Mathematical Functions. Ershov Memorial Conference (2009)
R. S. Zybin, Victor V. Kuliamin, Andrey V. Ponomarenko, Vladimir V. Rubanov, E. S. Chernov
Automation of broad sanity test generation. Program. Comput. Softw. 34 (6) (2008)
Victor V. Kuliamin
Test Construction for Mathematical Functions. TestCom/FATES (2008)
Igor B. Bourdonov, Alexander S. Kossatchev, Victor V. Kuliamin
Formalization of test experiments. Program. Comput. Softw. 33 (5) (2007)
V. P. Ivannikov, Alexander S. Kamkin, Alexander S. Kossatchev, Victor V. Kuliamin, Alexander K. Petrenko
The use of contract specifications for representing requirements and for functional testing of hardware models. Program. Comput. Softw. 33 (5) (2007)
Victor V. Kuliamin
Standardization and testing of implementations of mathematical functions in floating point numbers. Program. Comput. Softw. 33 (3) (2007)
Igor B. Bourdonov, Alexander S. Kossatchev, Victor V. Kuliamin
Formal Conformance Testing of Systems with Refused Inputs and Forbidden Actions. Electron. Notes Theor. Comput. Sci. 164 (4) (2006)
Alexey Grinevich, Alexey V. Khoroshilov, Victor V. Kuliamin, Denis Markovtsev, Alexander K. Petrenko, Vladimir V. Rubanov
Formal Methods in Industrial Software Standards Enforcement. Ershov Memorial Conference (2006)
Victor V. Kuliamin, Nick V. Pakoulin, Alexander K. Petrenko
Practical Approach to Specification and Conformance Testing of Distributed Network Applications. ISAS (2005)
Victor V. Kuliamin
Multi-paradigm Models as Source for Automated Test Construction. Electron. Notes Theor. Comput. Sci. 111 (2005)
Victor V. Kuliamin
Test Sequence Construction Using Minimum Information on the Tested System. Program. Comput. Softw. 31 (6) (2005)
Victor V. Kuliamin
Model Based Testing of Large-scale Software: How Can Simple Models Help to Test Complex System. ISoLA (Preliminary proceedings) (2004)
Igor B. Bourdonov, Alexander S. Kossatchev, Victor V. Kuliamin
Irredundant Algorithms for Traversing Directed Graphs: The Nondeterministic Case. Program. Comput. Softw. 30 (1) (2004)
Victor V. Kuliamin, Alexander K. Petrenko, Alexander S. Kossatchev, Igor B. Burdonov
The UniTesK Approach to Designing Test Suites. Program. Comput. Softw. 29 (6) (2003)
Igor B. Bourdonov, Alexander S. Kossatchev, Victor V. Kuliamin
Irredundant Algorithms for Traversing Directed Graphs: The Deterministic Case. Program. Comput. Softw. 29 (5) (2003)
Victor V. Kuliamin, Alexander K. Petrenko, Nick V. Pakoulin, Alexander S. Kossatchev, Igor B. Bourdonov
Integration of Functional and Timed Testing of Real-Time and Concurrent Systems. Ershov Memorial Conference (2003)
Igor B. Bourdonov, Alexander S. Kossatchev, Victor V. Kuliamin, Alexander K. Petrenko
UniTesK Test Suite Architecture. FME (2002)
Igor B. Bourdonov, Alexey V. Demakov, Andrew A. Jarov, Alexander S. Kossatchev, Victor V. Kuliamin, Alexander K. Petrenko, Sergey V. Zelenov
Java Specification Extension for Automated Test Development. Ershov Memorial Conference (2001)