Electronic Documents Search
Documents found: 5
-
Creators Соколов Дмитрий Сергеевич Scientific adviser Куляшова Зинаида Викторовна Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и кибербезопасности Imprint Санкт-Петербург, 2024 Collection Выпускные квалификационные работы; Общая коллекция Subjects SMT-решатель; SMT-формула; покрытие SMT-формулы; обнаружение дефектов в SMT-решателях; качество программного обеспечения; SMT solver; SMT formula; SMT formula coverage; SMT solvers defects detection; software quality Document type Bachelor graduation qualification work File type PDF Language Russian Level of education Bachelor Speciality code (FGOS) 09.03.01 Speciality group (FGOS) 090000 - Информатика и вычислительная техника DOI 10.18720/SPBPU/3/2024/vr/vr24-1906 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 0.8 Mb -
Creators Корякин Афанасий Павлович Scientific adviser Тышкевич Антон Игоревич Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и кибербезопасности Imprint Санкт-Петербург, 2024 Collection Выпускные квалификационные работы; Общая коллекция Subjects качество ПО; тестирование; Apple Metal; Metal Computed Shaders; параллельный алгоритм; кластерный анализ; Snapshot Testing; software quality; testing; parallel algorithm; cluster analysis Document type Bachelor graduation qualification work File type PDF Language Russian Level of education Bachelor Speciality code (FGOS) 09.03.04 Speciality group (FGOS) 090000 - Информатика и вычислительная техника DOI 10.18720/SPBPU/3/2024/vr/vr24-1620 Rights Доступ по паролю из сети Интернет (чтение) pdf, 4.1 Mb -
Creators Коротких Виктор Дмитриевич Scientific adviser Степанов Даниил Сергеевич Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2023 Collection Выпускные квалификационные работы; Общая коллекция Subjects качество программного обеспечения; автоматическое тестирование компиляторов; определение ошибок связанных с производительностью; фаззинг; компилятор Kotlin; компилятор Java; software quality; automatic compiler testing; performance related bugs detection; fuzzing; Kotlin compiler; Java compiler Document type Bachelor graduation qualification work File type PDF Language Russian Level of education Bachelor Speciality code (FGOS) 09.03.01 Speciality group (FGOS) 090000 - Информатика и вычислительная техника DOI 10.18720/SPBPU/3/2023/vr/vr23-3405 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 0.6 Mb -
Program and Code // Technology and Language. – 2022. – Т. 3, № 2. — С. 70-80 New arrival!
Creators Hahnle R. Imprint 2022 Collection Общая коллекция Subjects Вычислительная техника; Программирование ЭВМ. Компьютерные программы. Программотехника; computer programs; program codes; formal verification; mathematical semantics; software reliability; software quality; компьютерные программы; программные коды; формальная верификация; математическая семантика; достоверность программного обеспечения; качество программного обеспечения UDC 004.41/.42 LBC 32.973-018 Document type Article, report File type PDF Language English DOI 10.48417/technolang.2022.02.06 Rights Свободный доступ из сети Интернет (чтение, печать, копирование) pdf, 1.2 Mb -
Creators Константинова Вера Валентиновна Scientific adviser Ахин Марат Халимович Other creators Нестеров Сергей Александрович; Степанов Даниил Сергеевич Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2020 Collection Выпускные квалификационные работы; Общая коллекция Subjects определение дубликатов ошибок; компилятор Kotlin; генерация программ-свидетелей; локализация ошибок; автоматическое тестирование компиляторов; качество программного обеспечения; bug duplicate detection; Kotlin compiler; witness test program generation; bug localization; automatic compiler testing; software quality Document type Bachelor graduation qualification work File type PDF Language Russian Level of education Bachelor Speciality code (FGOS) 09.03.01 Speciality group (FGOS) 090000 - Информатика и вычислительная техника Links http://elib.spbstu.ru/dl/3/2020/vr/rev/vr20-816-o.pdf; http://elib.spbstu.ru/dl/3/2020/vr/rev/vr20-816-r.pdf; http://elib.spbstu.ru/dl/3/2020/vr/rev/vr20-816-a.pdf DOI 10.18720/SPBPU/3/2020/vr/vr20-816 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 1.2 Mb
