Azat Abdullin's repositories
algorithms-project-2022
Базвый репозиторий для курсового проекта по предмету "Алгоритмы и структуры данных"
archlinux-aur-docker
archlinux docker image with support of AUR packages (through `yaourt`)
kt-helper
helper functions/classes for Kotlin
defects4j
A Database of Real Faults and an Experimental Infrastructure to Enable Controlled Experiments in Software Engineering Research
easy-random
The simple, stupid random Java beans/records generator
icfpc2022
team 301 entry for icfpc-2022
jcdb
fast and effective way to access java bytecode from java compiled files
JCrashPack
A Java Crash reproduction benchmark
jdot
Java library to generate GraphViz DOT files.
kaf-intro
intro presentation for KotlinAsFirst course
kex-helper-scripts
Helper scripts for working with kex
kex-rt
Java 8 standard library approximation for Kex
kex-sbft-2023
Presentation about participation of Kex in SBFT 2023 tool competition
KotlinAsFirst
Задачи для онлайн-курса "Котлин как первый язык программирования"
ksmt
Kotlin API for various SMT solvers
programming-task1-2022
Базовый репозиторий для задачи 1 по курсу "Технологии программирования" 2022
programming-task2-2022
Базовый репозиторий для задачи 2 по курсу "Технологии программирования" 2022
programming-task3-2022
Базовый репозиторий для 3 задачи по курсу "Технологии программирования" 2022 год
sbst-stats-parser
kotlin script for parsing SBST stats
smt-reducer
simple delta debugging tool for z3 solver
tardis
The TARDIS concolic test case generator
TestSpark
TestSpark - a plugin for generating unit tests. TestSpark natively integrates different AI-based test generation tools and techniques in the IDE. Started by SERG TU Delft. Currently under implementation by JetBrains Research (ICTL) for research purposes.
UTBotJava
Tool that generates unit test by Java source code, trying to reach all branches and maximize code coverage