Electronic Documents Search

Documents found: 1

1

Автоматизация фаззинга приложений с помощью формальных спецификаций библиотек: выпускная квалификационная работа магистра: направление 09.04.01 «Информатика и вычислительная техника» ; образовательная программа 09.04.01_20 «Проектирование компьютерных систем»

Creators	Чёрный Виталий Григорьевич
Scientific adviser	Ицыксон Владимир Михайлович
Organization	Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий
Imprint	Санкт-Петербург, 2022
Collection	Выпускные квалификационные работы; Общая коллекция
Subjects	Вычислительные машины электронные — Программы — Тестирование; Вычислительные машины электронные персональные — Библиотеки программ; фаззинг; формальные спецификации; fuzzing; formal specifications
UDC	004.415.53
Document type	Master graduation qualification work
File type	PDF
Language	Russian
Level of education	Master
Speciality code (FGOS)	09.04.01
Speciality group (FGOS)	090000 - Информатика и вычислительная техника
DOI	10.18720/SPBPU/3/2022/vr/vr22-1619
Rights	Доступ по паролю из сети Интернет (чтение)

pdf, 0.5 Mb

1