1. DSpace at Saint Petersburg State University

Поиск


Текущие фильтры:
Начать новый поиск
Добавить фильтры:

Используйте фильтры для уточнения результатов поиска.

 | 
Результаты 1-6 из 6.
  • назад
  • 1
  • дальше
Найденные ресурсы:
Предварительный просмотрДата выпускаНазваниеАвтор(ы)
2023Development of the static analyzer based on symbolic executionСтроганов Никита Сергеевич; Stroganov Nikita Sergeevic
2023Development of the tool for automatic isolation of LLVM code under testШмидт Светлана Андреевна; Smidt Svetlana Andreevna
2023Design and implementation of the universal symbolic virtual machineПоспелов Сергей Андреевич; Pospelov Sergej Andreevic
2023Encoding Java Bytecode to CIRCUIT-SAT to solve the problems of programs equivalence chekingЛюбаев Даниил Андреевич; Lubaev Daniil Andreevic
2023Development of the dynamic symbolic execution virtual machine for Java and Kotlin programming languagesСадыков Рустам Ахметович; Sadykov Rustam Ahmetovic
2023Automatic creation of unit tests to detect vulnerabilities in application source codesПогребной Андрей Константинович; Pogrebnoj Andrej Konstantinovic

Просмотр