Pinned Repositories
Algorithms
Course: algorithms and data structures
Algorithms-2019
Course: algorithms and data structures (2019)
Algorithms-2020
algorithms-project-2022
Базвый репозиторий для курсового проекта по предмету "Алгоритмы и структуры данных"
AlgorithmsTest
fuzzing-demo
Small demo
kt-helper
helper functions/classes for Kotlin
borealis
kex
A platform for analysis of Java bytecode
kfg
Library for building CFG for Java bytecode
AbdullinAM's Repositories
AbdullinAM/fuzzing-demo
Small demo
AbdullinAM/algorithms-project-2022
Базвый репозиторий для курсового проекта по предмету "Алгоритмы и структуры данных"
AbdullinAM/archlinux-aur-docker
archlinux docker image with support of AUR packages (through `yaourt`)
AbdullinAM/kt-helper
helper functions/classes for Kotlin
AbdullinAM/defects4j
A Database of Real Faults and an Experimental Infrastructure to Enable Controlled Experiments in Software Engineering Research
AbdullinAM/easy-random
The simple, stupid random Java beans/records generator
AbdullinAM/icfpc2022
team 301 entry for icfpc-2022
AbdullinAM/jcdb
fast and effective way to access java bytecode from java compiled files
AbdullinAM/JCrashPack
A Java Crash reproduction benchmark
AbdullinAM/jdot
Java library to generate GraphViz DOT files.
AbdullinAM/JUGE
junit tools contest infrastructure
AbdullinAM/kaf-intro
intro presentation for KotlinAsFirst course
AbdullinAM/kex-helper-scripts
Helper scripts for working with kex
AbdullinAM/kex-intellij-plugin
AbdullinAM/kex-rt
Java 8 standard library approximation for Kex
AbdullinAM/kex-sbft-2023
Presentation about participation of Kex in SBFT 2023 tool competition
AbdullinAM/kex-sbst2022-presentation
AbdullinAM/KotlinAsFirst
Задачи для онлайн-курса "Котлин как первый язык программирования"
AbdullinAM/KotlinAsFirst-2022-demo
AbdullinAM/ksmt
Kotlin API for various SMT solvers
AbdullinAM/programming-task1-2022
Базовый репозиторий для задачи 1 по курсу "Технологии программирования" 2022
AbdullinAM/programming-task2-2022
Базовый репозиторий для задачи 2 по курсу "Технологии программирования" 2022
AbdullinAM/programming-task3-2022
Базовый репозиторий для 3 задачи по курсу "Технологии программирования" 2022 год
AbdullinAM/sbst-stats-parser
kotlin script for parsing SBST stats
AbdullinAM/smt-reducer
simple delta debugging tool for z3 solver
AbdullinAM/tardis
The TARDIS concolic test case generator
AbdullinAM/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.
AbdullinAM/tex-lecture
AbdullinAM/url-fuzzer-demo
AbdullinAM/UTBotJava
Tool that generates unit test by Java source code, trying to reach all branches and maximize code coverage