Electronic Documents Search
Documents found: 11
-
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
