Pinned Repositories
gen-benchmark
Homework
Homework-Semester-2-
Homework-Semester-3
Homework-Semester-4
Internship
My solutions for the internship's tasks
ksmt
Kotlin/Java API for various SMT solvers
ksmt-maxsmt-gen
Labs
Лабы, лабы, лабы
Lectures
viktoriia-fomina's Repositories
viktoriia-fomina/gen-benchmark
viktoriia-fomina/Homework
viktoriia-fomina/Homework-Semester-2-
viktoriia-fomina/Homework-Semester-3
viktoriia-fomina/Homework-Semester-4
viktoriia-fomina/Internship
My solutions for the internship's tasks
viktoriia-fomina/ksmt
Kotlin/Java API for various SMT solvers
viktoriia-fomina/ksmt-maxsmt-gen
viktoriia-fomina/Labs
Лабы, лабы, лабы
viktoriia-fomina/Lectures
viktoriia-fomina/mag_practices_2022-2024
Отчёты и отзывы о прохождении практик магистрантами 2021–2023 гг.
viktoriia-fomina/mathematical-logic
viktoriia-fomina/MaxSMT-benchmark-generation
viktoriia-fomina/ML
ML homeworks
viktoriia-fomina/ReachableVertices
viktoriia-fomina/Software-Design
viktoriia-fomina/soot
Soot - A Java optimization framework
viktoriia-fomina/spbu-mm-parallel-programming
viktoriia-fomina/SPBU-Practice
viktoriia-fomina/SQL-tasks
viktoriia-fomina/TestRepository
viktoriia-fomina/unittestbot.github.io
UTBot Cloud client side - web application generating tests
viktoriia-fomina/usvm
Universal Symbolic Virtual Machine
viktoriia-fomina/UTBotCpp
Tool that generates unit test by C/C++ source code, trying to reach all branches and maximize code coverage
viktoriia-fomina/UTBotJava
Tool that generates unit test for Java, trying to reach all branches and maximize code coverage