ISSN 0236-235X (P)
ISSN 2311-2735 (E)
Send article

Journal influence

Higher Attestation Commission (VAK) - К1 quartile
Russian Science Citation Index (RSCI)

Bookmark

Next issue

№4
Publication date:
09 December 2024

Keyword: testing

  1. Interactive knowledge estimating model and algorithms
    2. Authors: Александрова Л.А., Тумбинская М.В.

  2. Program for automated verification of databases integrity constraints
    3. Authors: Хомоненко А.Д., Глухарев М.Л., Косаренко А.П.

  3. Integrity control of input data during automated software analysis
    4. Authors: Поляничко М.А.

  4. Improvement of debugging and testing increase performance techniques in multiprocessor systems
    5. Authors: Лавринов Г.А.

  5. Peculiarities of data sets testing in the z/OS operating system
    6. Authors: Бартеньев О.В., Клюев С.В.

  6. Methods of multiprocessor system initializations
    7. Authors: Лавринов Г.А.

  7. An approach to software testing management system development
    8. Authors: Корнюшко В.Ф., Костров А.В., Породникова П.А.

  8. KLEE for automatic testing programs in C/C++
    9. Authors: Зыков А.Г., Кочетков И.В., Поляков В.И.

  9. Comparison of russian and foreign microprocessor performance
    10. Authors: Годунов А.Н., Байков Н.Д.

  10. Program synthesizing based on a graph-analytic model description
    11. Authors: Зыков А.Г., Кочетков И.В., Поляков В.И., Чистиков Е.Г.

  11. Optimization of the control initialization periodicity based on duplicated computing
    12. Authors: Богатырев В.А., Лисичкин Д.Э.

  12. Domain-specific languages for testing web applications
    13. Authors: Федоренков В.Г., Балакшин П.В.