-
1Conference
Authors: Струнин, В. Д., Бовыкина, Е. Е., Павлова, Е. А., Strunin, V. D., Bovykina, E. E., Pavlova, E. A.
Subject Terms: конференции, автоматизированная проверка, AST-анализ, мутационное тестирование, автоматизированная генерация тестов, анализ программного кода, conferences, automated verification, AST analysis, mutation testing, automated test generation, program code analysis
File Description: application/pdf
Relation: Математическое и информационное моделирование : материалы Всероссийской конференции молодых ученых. Вып. 23. — Тюмень, 2025
Availability: https://elib.utmn.ru/jspui/handle/ru-tsu/38229
-
2Academic Journal
Authors: V.Z. Shnitman, A.V. Nikeshin
Source: Труды Института системного программирования РАН, Vol 30, Iss 6, Pp 89-104 (2019)
Subject Terms: контроль доступа, QA75.5-76.95, формальные методы, безопасность, аутентификация, eap, unitesk, мутационное тестирование, верификация, тестирование с использованием моделей, методы eap, Electronic computers. Computer science, тестирование, формальные спецификации
-
3Academic Journal
Authors: Cherneva, Galina, Khalimov, Pavlо
Source: Advanced Information Systems; Vol. 5 No. 1 (2021): Advanced Information Systems; 118-122 ; Современные информационные системы - Sučasnì ìnformacìjnì sistemi; Том 5 № 1 (2021): Современные информационные системы; 118-122 ; Сучасні інформаційні системи; Том 5 № 1 (2021): Сучасні інформаційні системи; 118-122 ; 2522-9052
Subject Terms: керування доступом, системи контролю доступу, мутаційне тестування, тестування систем керування доступом, політики, access control, access control system, mutation testing, access control testing, policy, управление доступом, системы контроля доступа, мутационное тестирование, тестирование систем управления доступом, политики
File Description: application/pdf
Relation: http://ais.khpi.edu.ua/article/view/226846/226393; http://ais.khpi.edu.ua/article/view/226846
-
4Academic Journal
Source: Сучасні інформаційні системи; Том 5 № 1 (2021): Сучасні інформаційні системи; 118-122
Advanced Information Systems; Vol. 5 No. 1 (2021): Advanced Information Systems; 118-122
Современные информационные системы-Sučasnì ìnformacìjnì sistemi; Том 5 № 1 (2021): Современные информационные системы; 118-122Subject Terms: керування доступом, системи контролю доступу, управление доступом, mutation testing, access control, мутационное тестирование, мутаційне тестування, access control system, политики, тестування систем керування доступом, системы контроля доступа, політики, access control testing, policy, тестирование систем управления доступом
File Description: application/pdf
Access URL: http://ais.khpi.edu.ua/article/view/226846
-
5Academic Journal
Authors: A. V. Nikeshin, N. V. Pakulin, V. Z. Shnitman
Source: Труды Института системного программирования РАН, Vol 27, Iss 2, Pp 145-160 (2018)
Subject Terms: тестирование, верификация, формальные методы, формальные спецификации, тестирование с использованием моделей, tls, ssl, unitesk, мутационное тестирование, Electronic computers. Computer science, QA75.5-76.95
File Description: electronic resource
-
6Academic Journal
Subject Terms: разработка программного обеспечения, мутационный анализ, алгоритм мутационного тестирования, тестирование надежности, юнит-тестирование, метод мутационного тестирования, код юнит-тестов, программное обеспечение, мутационное тестирование
File Description: application/pdf
Access URL: https://elib.belstu.by/handle/123456789/35615
-
7Academic Journal
Authors: НИКЕШИН А.В., ПАКУЛИН Н.В., ШНИТМАН В.З.
Subject Terms: ТЕСТИРОВАНИЕ, ВЕРИФИКАЦИЯ, ФОРМАЛЬНЫЕ МЕТОДЫ, ФОРМАЛЬНЫЕ СПЕЦИФИКАЦИИ, ТЕСТИРОВАНИЕ С ИСПОЛЬЗОВАНИЕМ МОДЕЛЕЙ, МУТАЦИОННОЕ ТЕСТИРОВАНИЕ
File Description: text/html
-
8Academic Journal
Subject Terms: МУТАЦИОННОЕ ТЕСТИРОВАНИЕ, ЯЗЫКИ ОПИСАНИЯ АППАРАТУРЫ, ОТРАБОТКА, РАДИОЭЛЕКТРОННАЯ АППАРАТУРА, ПЛИС, ОТЛАДОЧНЫЙ КОМПЛЕКС
File Description: text/html
-
9Academic Journal
Source: Труды Института системного программирования РАН.
Subject Terms: ТЕСТИРОВАНИЕ, ВЕРИФИКАЦИЯ, ФОРМАЛЬНЫЕ МЕТОДЫ, ФОРМАЛЬНЫЕ СПЕЦИФИКАЦИИ, ТЕСТИРОВАНИЕ С ИСПОЛЬЗОВАНИЕМ МОДЕЛЕЙ, МУТАЦИОННОЕ ТЕСТИРОВАНИЕ
File Description: text/html
-
10Academic Journal
Authors: Черняк, Н. Ф.
Subject Terms: программное обеспечение, разработка программного обеспечения, тестирование надежности, юнит-тестирование, код юнит-тестов, мутационный анализ, мутационное тестирование, алгоритм мутационного тестирования, метод мутационного тестирования
File Description: application/pdf
Relation: https://elib.belstu.by/handle/123456789/35615; 004.415
Availability: https://elib.belstu.by/handle/123456789/35615
-
11Academic Journal
Source: Вестник Сибирского государственного аэрокосмического университета им. академика М.Ф. Решетнева.
Subject Terms: МУТАЦИОННОЕ ТЕСТИРОВАНИЕ, ЯЗЫКИ ОПИСАНИЯ АППАРАТУРЫ, ОТРАБОТКА, РАДИОЭЛЕКТРОННАЯ АППАРАТУРА, ПЛИС, ОТЛАДОЧНЫЙ КОМПЛЕКС
File Description: text/html
-
12Academic Journal
Source: Известия высших учебных заведений. Физика. 2015. Т. 58, № 8. С. 85-90
Subject Terms: физические системы, цифровые компоненты, FPGA-технология, верификация, тестирование, мутанты, мутационное тестирование
File Description: application/pdf
Relation: koha:001141359; https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001141359
-
13
Authors: Ермаков, Антон Дмитриевич
Contributors: Томский государственный университет Радиофизический факультет Научные подразделения РФФ
Source: Новые информационные технологии в исследовании сложных структур : материалы десятой Российской конференции с международным участием. Томск, 2014. С. 50-51
Subject Terms: тестирование программного обеспечения, мутационное тестирование
File Description: application/pdf
Relation: vtls:000483226; http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000483226
