-
1Conference
Συγγραφείς: Струнин, В. Д., Бовыкина, Е. Е., Павлова, Е. А., Strunin, V. D., Bovykina, E. E., Pavlova, E. A.
Θεματικοί όροι: конференции, автоматизированная проверка, AST-анализ, мутационное тестирование, автоматизированная генерация тестов, анализ программного кода, conferences, automated verification, AST analysis, mutation testing, automated test generation, program code analysis
Περιγραφή αρχείου: application/pdf
Relation: Математическое и информационное моделирование : материалы Всероссийской конференции молодых ученых. Вып. 23. — Тюмень, 2025
Διαθεσιμότητα: https://elib.utmn.ru/jspui/handle/ru-tsu/38229
-
2Academic Journal
Συγγραφείς: V.Z. Shnitman, A.V. Nikeshin
Πηγή: Труды Института системного программирования РАН, Vol 30, Iss 6, Pp 89-104 (2019)
Θεματικοί όροι: контроль доступа, QA75.5-76.95, формальные методы, безопасность, аутентификация, eap, unitesk, мутационное тестирование, верификация, тестирование с использованием моделей, методы eap, Electronic computers. Computer science, тестирование, формальные спецификации
-
3Academic Journal
Συγγραφείς: Cherneva, Galina, Khalimov, Pavlо
Πηγή: 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
Θεματικοί όροι: керування доступом, системи контролю доступу, мутаційне тестування, тестування систем керування доступом, політики, access control, access control system, mutation testing, access control testing, policy, управление доступом, системы контроля доступа, мутационное тестирование, тестирование систем управления доступом, политики
Περιγραφή αρχείου: application/pdf
Relation: http://ais.khpi.edu.ua/article/view/226846/226393; http://ais.khpi.edu.ua/article/view/226846
-
4Academic Journal
Πηγή: Сучасні інформаційні системи; Том 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-122Θεματικοί όροι: керування доступом, системи контролю доступу, управление доступом, mutation testing, access control, мутационное тестирование, мутаційне тестування, access control system, политики, тестування систем керування доступом, системы контроля доступа, політики, access control testing, policy, тестирование систем управления доступом
Περιγραφή αρχείου: application/pdf
Σύνδεσμος πρόσβασης: http://ais.khpi.edu.ua/article/view/226846
-
5Academic Journal
Συγγραφείς: A. V. Nikeshin, N. V. Pakulin, V. Z. Shnitman
Πηγή: Труды Института системного программирования РАН, Vol 27, Iss 2, Pp 145-160 (2018)
Θεματικοί όροι: тестирование, верификация, формальные методы, формальные спецификации, тестирование с использованием моделей, tls, ssl, unitesk, мутационное тестирование, Electronic computers. Computer science, QA75.5-76.95
Περιγραφή αρχείου: electronic resource
Relation: https://ispranproceedings.elpub.ru/jour/article/view/1095; https://doaj.org/toc/2079-8156; https://doaj.org/toc/2220-6426
Σύνδεσμος πρόσβασης: https://doaj.org/article/47de7b411ab6441cb592c3c7de531dee
-
6Academic Journal
Θεματικοί όροι: разработка программного обеспечения, мутационный анализ, алгоритм мутационного тестирования, тестирование надежности, юнит-тестирование, метод мутационного тестирования, код юнит-тестов, программное обеспечение, мутационное тестирование
Περιγραφή αρχείου: application/pdf
Σύνδεσμος πρόσβασης: https://elib.belstu.by/handle/123456789/35615
-
7Academic Journal
Συγγραφείς: НИКЕШИН А.В., ПАКУЛИН Н.В., ШНИТМАН В.З.
Θεματικοί όροι: ТЕСТИРОВАНИЕ, ВЕРИФИКАЦИЯ, ФОРМАЛЬНЫЕ МЕТОДЫ, ФОРМАЛЬНЫЕ СПЕЦИФИКАЦИИ, ТЕСТИРОВАНИЕ С ИСПОЛЬЗОВАНИЕМ МОДЕЛЕЙ, МУТАЦИОННОЕ ТЕСТИРОВАНИЕ
Περιγραφή αρχείου: text/html
-
8Academic Journal
Συγγραφείς: Недорезов, Дмитрий, Хабаров, Виталий, Абрамов, Егор, Ощепкова, Дарья
Θεματικοί όροι: МУТАЦИОННОЕ ТЕСТИРОВАНИЕ, ЯЗЫКИ ОПИСАНИЯ АППАРАТУРЫ, ОТРАБОТКА, РАДИОЭЛЕКТРОННАЯ АППАРАТУРА, ПЛИС, ОТЛАДОЧНЫЙ КОМПЛЕКС
Περιγραφή αρχείου: text/html
-
9Academic Journal
Πηγή: Труды Института системного программирования РАН.
Θεματικοί όροι: ТЕСТИРОВАНИЕ, ВЕРИФИКАЦИЯ, ФОРМАЛЬНЫЕ МЕТОДЫ, ФОРМАЛЬНЫЕ СПЕЦИФИКАЦИИ, ТЕСТИРОВАНИЕ С ИСПОЛЬЗОВАНИЕМ МОДЕЛЕЙ, МУТАЦИОННОЕ ТЕСТИРОВАНИЕ
Περιγραφή αρχείου: text/html
-
10Academic Journal
Συγγραφείς: Черняк, Н. Ф.
Θεματικοί όροι: программное обеспечение, разработка программного обеспечения, тестирование надежности, юнит-тестирование, код юнит-тестов, мутационный анализ, мутационное тестирование, алгоритм мутационного тестирования, метод мутационного тестирования
Περιγραφή αρχείου: application/pdf
Relation: https://elib.belstu.by/handle/123456789/35615; 004.415
Διαθεσιμότητα: https://elib.belstu.by/handle/123456789/35615
-
11Academic Journal
Πηγή: Вестник Сибирского государственного аэрокосмического университета им. академика М.Ф. Решетнева.
Θεματικοί όροι: МУТАЦИОННОЕ ТЕСТИРОВАНИЕ, ЯЗЫКИ ОПИСАНИЯ АППАРАТУРЫ, ОТРАБОТКА, РАДИОЭЛЕКТРОННАЯ АППАРАТУРА, ПЛИС, ОТЛАДОЧНЫЙ КОМПЛЕКС
Περιγραφή αρχείου: text/html
-
12Academic Journal
Πηγή: Известия высших учебных заведений. Физика. 2015. Т. 58, № 8. С. 85-90
Θεματικοί όροι: физические системы, цифровые компоненты, FPGA-технология, верификация, тестирование, мутанты, мутационное тестирование
Περιγραφή αρχείου: application/pdf
Relation: koha:001141359; https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001141359
-
13
Συγγραφείς: Ермаков, Антон Дмитриевич
Συνεισφορές: Томский государственный университет Радиофизический факультет Научные подразделения РФФ
Πηγή: Новые информационные технологии в исследовании сложных структур : материалы десятой Российской конференции с международным участием. Томск, 2014. С. 50-51
Θεματικοί όροι: тестирование программного обеспечения, мутационное тестирование
Περιγραφή αρχείου: application/pdf
Relation: vtls:000483226; http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000483226
