Electronic Documents Search

Documents found: 1

1

Выявление ошибок программного обеспечения с использованием технологии символьного выполнения на основе компиляции: выпускная квалификационная работа специалиста: направление 10.05.04 «Информационно-аналитические системы безопасности» ; образовательная программа 10.05.04_01 «Автоматизация информационно-аналитической деятельности»

Creators	Николаев Михаил Геннадьевич
Scientific adviser	Жуковский Евгений Владимирович
Other creators	Ярмак Анастасия Викторовна
Organization	Санкт-Петербургский политехнический университет Петра Великого. Институт кибербезопасности и защиты информации
Imprint	Санкт-Петербург, 2022
Collection	Выпускные квалификационные работы; Общая коллекция
Subjects	ошибки программного обеспечения; фаззинг; символьное выполнение; инструменты символьного выполнения; компиляция; автоматизация тестирования; Software errors; fuzzing; symbolic execution; symbolic execution tools; compilation-based symbolic execution; test automation
Document type	Specialist graduation qualification work
File type	PDF
Language	Russian
Level of education	Specialist
Speciality code (FGOS)	10.05.04
Speciality group (FGOS)	100000 - Информационная безопасность
Links	http://elib.spbstu.ru/dl/3/2022/vr/rev/vr22-198-o.pdf; http://elib.spbstu.ru/dl/3/2022/vr/rev/vr22-198-r.pdf; http://elib.spbstu.ru/dl/3/2022/vr/rev/vr22-198-a.pdf
DOI	10.18720/SPBPU/3/2022/vr/vr22-198
Rights	Доступ по паролю из сети Интернет (чтение)

pdf, 2.0 Mb

1