Сортировать по:
Выпуск | Название | |
Том 36, № 3 (2024) | Платформа автоматизации фаззинг-тестирования компонентов операционной системы | Аннотация PDF (Rus) похожие документы |
Егор Петрович СУРАЕВ, Виктория Вячеславовна ЕГОРОВА, Алексей Сергеевич ПАНОВ | ||
"... and storing the results of various security analysis tools. The developed platform integrates security ..." | ||
Том 33, № 5 (2021) | Динамический анализ IoT-систем на основе полносистемной эмуляции в QEMU | Аннотация PDF (Rus) похожие документы |
Роман Дмитриевич КОВАЛЕНКО, Алексей Николаевич МАКАРОВ | ||
"... with existing fuzzing tools; the ability to conduct distributed analysis. ..." | ||
Том 34, № 4 (2022) | Подходы, направленные на повышение эффективности фаззинг-тестирования компонентов защищенной ОС | Аннотация PDF (Rus) похожие документы |
Виктория Вячеславовна ЕГОРОВА, Алексей Сергеевич ПАНОВ, Владимир Юрьевич ТЕЛЕЖНИКОВ, Петр Николаевич ДЕВЯНИН | ||
"... Fuzzing as a part of the continuous integration is a necessary tool, aimed primarily ..." | ||
Том 32, № 2 (2020) | Платформа автоматического фаззинга программного интерфейса приложений | Аннотация PDF (Rus) похожие документы |
Севак Сеникович САРГСЯН, Ваагн Геворгович ВАРДАНЯН, Дживан Андраникович АКОПЯН, Анна Мартиросовна АГАБАЛЯН, Матевос Саргисович МЕГРАБЯН, Шамиль Фаимович КУРМАНГАЛЕЕВ, Александр Юрьевич ГЕРАСИМОВ, Михаил Кириллович ЕРМАКОВ, Сергей Павлович ВАРТАНОВ | ||
"... Randomized testing (fuzzing) is a well-known approach for finding bugs in programs. Fuzzing ..." | ||
Том 37, № 2 (2025) | Алгоритм выбора семантических мутаций в фаззинге по принципу серого ящика | Аннотация PDF (Rus) похожие документы |
Григорий Романович РАЙКИН, Максим Сергеевич ПЕЛЕВИН, Владимир Михайлович ИЦЫКСОН | ||
"... under the test. Mutation-based fuzzing tools generate test data by applying modifications (mutations ..." | ||
Том 33, № 4 (2021) | Об особенностях фаззинг-тестирования сетевых интерфейсов в условиях отсутствия исходных текстов | Аннотация PDF (Rus) похожие документы |
Иван Владимирович ШАРКОВ, Вартан Андроникович ПАДАРЯН, Петр Владимирович ХЕНКИН | ||
"... requirements prompts the creation of tools for their automated testing. Fuzzing within the security development ..." | ||
Том 36, № 1 (2024) | Фаззинг полиморфных систем в структурах микросервисов | Аннотация PDF (Rus) похожие документы |
Артемий Сергеевич ЮРЬЕВ | ||
"... Today fuzzing (fuzzing-testing) is the main technique for testing software, systems and code ..." | ||
Том 31, № 5 (2019) | Повышение эффективность фаззинга с помощью интервальных мутаций | Аннотация похожие документы |
Севак Сеникович Саргсян, Дживан Андраникович Акопян, Оганес Мушегович Мовсисян, Матевос Саргисович Меграбян, Ваагн Телемакович Сирунян, Шамиль Фаимович Курмангалеев | ||
"... . Effective fuzzing of an application which has input validation stage is a relevant and important problem ..." | ||
Том 34, № 4 (2022) | Инструмент динамического анализа IoT-систем ELF с поддержкой символьных вычислений | Аннотация PDF (Rus) похожие документы |
Роман Дмитриевич КОВАЛЕНКО, Алексей Николаевич МАКАРОВ | ||
"... (embedded linux fuzzing) tool that provides functionality for use in conventional dynamic analysis tools ..." | ||
Том 35, № 5 (2023) | Метод мутации сложноструктурированных входных данных при фаззинг-тестировании JavaScript интерпретаторов | Аннотация PDF (Rus) похожие документы |
Наталья Сергеевна ЕРОХИНА | ||
"... Fuzzing of JavaScript engines is one of the most difficult areas in web-browser testing due ..." | ||
Том 30, № 6 (2018) | Комбинирование динамического символьного исполнения, статического анализа кода и фаззинга | Аннотация похожие документы |
А. Ю. Герасимов, С. С. Саргсян, Ш. Ф. Курмангалеев, Д. А. Акопян, С. А. Асрян, М. К. Ермаков | ||
"... by the fuzzing tool to improve test-case generation and increase code coverage. The proposed approach can be used ..." | ||
Том 26, № 2 (2014) | Внесение неисправностей в программу с использованием детерминированного воспроизведения | Аннотация PDF (Rus) похожие документы |
П. М. Довгалюк, Ю. В. Маркин | ||
"... . Fault injection and fuzzing are the methods of testing used for checking code coverage quality ..." | ||
Том 37, № 3 (2025) | Тестирование в жизненном цикле автоматизированных систем | Аннотация PDF (Rus) похожие документы |
Борис Аронович ПОЗИН | ||
"... as the requirements for test automation tools. ..." | ||
Том 34, № 5 (2022) | Метод восстановления протокольных автоматов по бинарному коду | Аннотация PDF (Rus) похожие документы |
Иван Владимирович ШАРКОВ | ||
"... manner by in-memory fuzzing based on a "floating" fork-server to manage states transitions. Finally ..." | ||
Том 34, № 2 (2022) | Поиск ошибок в бинарном коде методами динамической символьной интерпретации | Аннотация похожие документы |
Алексей Вадимович ВИШНЯКОВ, Илай Александрович КОБРИН, Андрей Николаевич ФЕДОТОВ | ||
"... follow security development lifecycle (SDL). Fuzzing and symbolic execution are among the most popular ..." | ||
Том 34, № 3 (2022) | Исследование свойств алгоритма слайсинга предиката пути | Аннотация PDF (Rus) похожие документы |
Алексей Вадимович ВИШНЯКОВ | ||
"... that combines fuzzing and dynamic symbolic execution showed even greater efficiency than classical fuzzing ..." | ||
Том 34, № 5 (2022) | Natch: Определение поверхности атаки программ с помощью отслеживания помеченных данных и интроспекции виртуальных машин | Аннотация PDF (Rus) похожие документы |
Павел Михайлович ДОВГАЛЮК, Мария Анатольевна КЛИМУШЕНКОВА, Наталья Игоревна ФУРСОВА, Владислав Михайлович СТЕПАНОВ, Иван Александрович ВАСИЛЬЕВ, Аркадий Алексеевич ИВАНОВ, Алексей Владимирович ИВАНОВ, Максим Геннадьевич БАКУЛИН, Данила Игоревич ЕГОРОВ | ||
"... Natch is a tool that provides a convenient way of obtaining an attack surface. By attack surface ..." | ||
Том 28, № 4 (2016) | Метод оценки эксплуатируемости программных дефектов | Аннотация PDF (Rus) похожие документы |
А. Н. Федотов | ||
"... . There are various ways that used for finding software bugs. Fuzzing and dynamic symbolic execution are often used ..." | ||
Том 29, № 4 (2017) | Инструмент для анализа поведения вполне структурированных систем переходов | Аннотация похожие документы |
Л. В. Дворянский, В. Е. Михайлов | ||
"... Well-structured transition systems (WSTS) became a well-known tool in the study of concurrency ..." | ||
Том 33, № 3 (2021) | Автоматизированная система тестирования инструментов статического анализа кода | Аннотация похожие документы |
Дамир Маратович ГИМАТДИНОВ, Александр Юрьевич ГЕРАСИМОВ, Пётр Алексеевич ПРИВАЛОВ, Вероника Николаевна БУТКЕВИЧ, Наталья Андреевна ЧЕРНОВА, Анна Антоновна ГОРЕЛОВА | ||
"... of automated testing framework suitable for acceptance testing of static source code analysis tools ..." | ||
Том 28, № 1 (2016) | Тестирование системы автоматов с буферизацией сообщений | Аннотация PDF (Rus) похожие документы |
И. Б. Бурдонов, А. С. Косачев | ||
"... Статья посвящена проблеме тестирования составных систем, компоненты которых моделируются конечными ..." | ||
Том 26, № 1 (2014) | Средства функциональной верификации микропроцессоров | Аннотация PDF (Rus) похожие документы |
А. С. Камкин, А. М. Коцыняк, С. А. Смолов, А. Д. Татарников, М. М. Чупилко, А. А. Сортов | ||
"... problem. To deal with it, various tools for functional verification are used. Unlike bugs in software ..." | ||
Том 26, № 1 (2014) | Тестирование операционных систем | Аннотация PDF (Rus) похожие документы |
Е. А. Герлиц, В. В. Кулямин, А. В. Максимов, А. К. Петренко, А. В. Хорошилов, А. В. Цыварев | ||
"... the circumstances on testing, describes testing tools and techniques developed in ISPRAS and presents our experience ..." | ||
Том 35, № 2 (2023) | Разработка и реализация средства диагностики сетей Ethernet | Аннотация PDF (Rus) похожие документы |
Григорий Павлович ОХРИМЕНКО, Сергей Юрьевич МОКШИН, Алексей Олегович ИГНАТЬЕВ | ||
"... This paper describes the tools developed by the authors for analyzing the topology of Ethernet ..." | ||
Том 26, № 6 (2014) | Тестирование в беспроводных самоорганизующихся сетях на основе формальных моделей | Аннотация PDF (Rus) похожие документы |
Стефан Мааг | ||
"... при тестировании протоколов маршрутизации в беспроводных самоорганизующихся сетях (ad-hoc) требует ..." | ||
Том 30, № 6 (2018) | Тестирование правил настройки сетевого коммутатора программно конфигурируемой сети | Аннотация PDF (Rus) похожие документы |
И. Б. Бурдонов, Н. В. Евтушенко, А. С. Косачев | ||
"... контроллера, работающего независимо от сетевого оборудования. Настройка коммутаторов сети предназначена для ..." | ||
Том 28, № 1 (2016) | Система автоматов: условия детерминизма и тестирование | Аннотация PDF (Rus) похожие документы |
И. Б. Бурдонов, А. С. Косачев | ||
"... Статья посвящена проблеме тестирования составных систем, компоненты которых моделируются конечными ..." | ||
Том 33, № 3 (2021) | Power Fx: Low-code язык для инструментов совместной работы | Аннотация похожие документы |
Илья Александрович ВОРОНКОВ, Сергей Эрикович САРАДЖИШВИЛИ | ||
Том 29, № 1 (2017) | Обзор методов и средств генерации тестовых программ для микропроцессоров | Аннотация PDF (Rus) похожие документы |
А. Д. Татарников | ||
"... This paper gives a survey of existing methods and tools for test program generation ..." | ||
Том 27, № 3 (2015) | Унифицированная модель тестирования инструментов разработки объектно-ориентированных приложений | Аннотация PDF (Rus) похожие документы |
Павел Петрович Олейник | ||
"... The paper presents a unified model for testing tools for object-oriented application development ..." | ||
Том 35, № 1 (2023) | Разработка и реализация средства тестирования на устойчивость хранимых данных для приложений, основанных на файловых системах | Аннотация PDF (Rus) похожие документы |
Дмитрий Кириллович РОДИОНОВ, Сергей Дмитриевич КУЗНЕЦОВ | ||
"... for correct use that does not lead to loss of user data. As part of this work, a tool was developed ..." | ||
Том 27, № 2 (2015) | Тестирование реализаций клиента протокола TLS | Аннотация PDF (Rus) похожие документы |
А. В. Никешин, Н. В. Пакулин, В. З. Шнитман | ||
"... . It discusses the formal model of TLS protocol, the structure of the test suite. JavaTesK tool, based on UniTESK ..." | ||
Том 31, № 5 (2019) | Автоматизированное тестирование фронтенда транслятора TCG для Qemu | Аннотация PDF (Rus) похожие документы |
Дмитрий Сергеевич Колтунов, Василий Юрьевич Ефимов, Вартан Андроникович Падарян | ||
"... . The approach is implemented in CPU Testing Tool (c2t) which is part of QDT. Source code is available at https ..." | ||
Том 21 (2011) | Avalanche: Применение динамического анализа для автоматического обнаружения ошибок в программах использующих сетевые сокеты | Аннотация PDF (Rus) похожие документы |
И. К. Исаев, Д. В. Сидоров, А. Ю. Герасимов, М. К. Ермаков | ||
"... This article describes an attempt to modify and use Avalanche tool for dynamic analysis and testing ..." | ||
Том 37, № 1 (2025) | Использование технологий искусственного интеллекта для проведения психологического тестирования | Аннотация PDF (Rus) похожие документы |
Дарья Дмитриевна ГРИГОРЬЕВА, Даниил Валерьевич СЕРОВ, Дмитрий Сергеевич СОРОКИН, Алексей Иванович МАРТЫШКИН | ||
"... тестирования в веб-интерфейсе для пользователя. Применение искусственного интеллекта для проведения проективных ..." | ||
Том 33, № 3 (2021) | Метод анализа производительности критичных по времени приложений с помощью DB-Nets | Аннотация похожие документы |
Антон Михайлович РИГИН, Сергей Андреевич ШЕРШАКОВ | ||
"... on an extension of Renew software tool, which is a reference net simulator. The testing input for the software ..." | ||
Том 31, № 4 (2019) | Проектирование интерфейсов классов графовой модели нейронной сети | Аннотация PDF (Rus) похожие документы |
Юрий Леонидович Карпов, Ирина Анатольевна Волкова, Алексей Александрович Вылиток, Леонид Евгеньевич Карпов, Юрий Геннадьевич Сметанин | ||
"... Описывается подход к тестированию искусственных нейронных сетей, реализованный в программе на ..." | ||
Том 33, № 6 (2021) | Реализация искусственных нейронных сетей на ПЛИС с помощью открытых инструментов | Аннотация PDF (Rus) похожие документы |
Михаил Сергеевич ЛЕБЕДЕВ, Павел Николаевич БЕЛЕЦКИЙ | ||
"... acceleration. Many open-source tools have been proposed in this area. This article contains a review of a range ..." | ||
Том 20 (2011) | Тестирование протоколов электронной почты Интернета с использованием моделей | Аннотация PDF (Rus) похожие документы |
Н. В. Пакулин, А. Н. Тугаенко | ||
"... В статье рассматриваются вопросы тестирования почтовых протоколов с использованием формальных ..." | ||
1 - 39 из 584 результатов | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 > >> |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)