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