Repositories list

• usvm

  Public
  Universal Symbolic Virtual Machine

  symbolic-executionprogram-analysistest-generation

  symbolic-executionprogram-analysistest-generation

  Kotlin

  •

  Apache License 2.0

  •2626 forks•2828 stars•4545 issues•66 pull requests•Updated Apr 1, 2026Apr 1, 2026

• klee

  Public
  KLEEF Symbolic Execution Engine

  C++

  •

  Other

  •721721 forks•2323 stars•1111 issues•1111 pull requests•Updated Mar 28, 2026Mar 28, 2026

• kosat

  Public
  Pure Kotlin CDCL SAT solver

  kotlinsolversat

  kotlinsolversat

  Kotlin

  •

  MIT License

  •11 fork•99 stars•44 issues•55 pull requests•Updated Jan 9, 2026Jan 9, 2026

• jacodb

  Public
  fast and effective way to access and analyze java bytecode

  kotlinjavabytecode+ 4

  kotlinjavabytecodejvmstatic-analysisanalysis-frameworkifds

  Kotlin

  •

  Apache License 2.0

  •1818 forks•3232 stars•2222 issues•66 pull requests•Updated Dec 10, 2025Dec 10, 2025

• UTBotJava

  Public
  Automated unit test generation and precise code analysis for Java

  javasymbolic-executionintellij-plugin+ 2

  javasymbolic-executionintellij-pluginsoftware-analysistest-generation

  Kotlin

  •

  Apache License 2.0

  •4545 forks•144144 stars•386386 issues•3333 pull requests•Updated Oct 27, 2025Oct 27, 2025

• ksmt

  Public
  Kotlin/Java API for various SMT solvers

  kotlinjavasatisfiability-modulo-theories+ 2

  kotlinjavasatisfiability-modulo-theoriessmtsmt-solver

  Kotlin

  •

  Apache License 2.0

  •1616 forks•3737 stars•44 issues•88 pull requests•Updated Oct 8, 2025Oct 8, 2025

• java-stdlib-approximations

  Public
  Java

  •88 forks•00 stars•88 issues•22 pull requests•Updated Oct 7, 2025Oct 7, 2025

• jacodb.org

  Public
  Site for JacoDB library

  JavaScript

  •

  Apache License 2.0

  •11 fork•11 star•00 issues•00 pull requests•Updated Feb 24, 2025Feb 24, 2025

• UTBotCpp

  Public
  Tool that generates unit test by C/C++ source code, trying to reach all branches and maximize code coverage

  cunit-testingcpp+ 5

  cunit-testingcppstatic-analysissymbolic-executionsoftware-analysistest-generationklee

  C++

  •

  Apache License 2.0

  •3030 forks•183183 stars•119119 issues•33 pull requests•Updated Oct 18, 2024Oct 18, 2024

• msbuild-database

  Public
  An MsBuild logger that emit compile_commands.json and link_commands.json files from a C++ project build.

  C#

  •

  MIT License

  •22 forks•11 star•00 issues•00 pull requests•Updated Jul 16, 2024Jul 16, 2024

• UTBotPythonSBFT2024

  Public
  UTBot-Python-SBFT-Competitions-2024

  Python

  •

  Apache License 2.0

  •00 forks•22 stars•00 issues•00 pull requests•Updated May 23, 2024May 23, 2024

• utbotc_tests

  Public
  C

  •00 forks•00 stars•00 issues•00 pull requests•Updated Apr 22, 2024Apr 22, 2024

• PythonTypesAPI

  Public
  Kotlin

  •

  Apache License 2.0

  •00 forks•00 stars•00 issues•00 pull requests•Updated Feb 20, 2024Feb 20, 2024

• klogic

  Public
  An implementation of miniKanren in Kotlin

  Kotlin

  •

  MIT License

  •11 fork•33 stars•11 issue•11 pull request•Updated Dec 8, 2023Dec 8, 2023

• USE

  Public
  UnitTestBot Symbolic Execution machine

  Kotlin

  •

  Apache License 2.0

  •00 forks•00 stars•00 issues•00 pull requests•Updated Nov 2, 2023Nov 2, 2023

• UnitTestBot-Spring-demo

  Public
  Java

  •

  Apache License 2.0

  •00 forks•11 star•00 issues•00 pull requests•Updated Oct 13, 2023Oct 13, 2023

• unittestbot.github.io

  Public
  UTBot Cloud client side - web application generating tests

  JavaScript

  •33 forks•22 stars•1414 issues•00 pull requests•Updated Oct 11, 2023Oct 11, 2023

• ML-path-selection

  Public
  Summer internship project for ML path selection

  Jupyter Notebook

  •00 forks•00 stars•00 issues•00 pull requests•Updated Sep 28, 2023Sep 28, 2023

• byteflow

  Public
  Kotlin

  •

  Apache License 2.0

  •11 fork•33 stars•00 issues•00 pull requests•Updated Sep 26, 2023Sep 26, 2023

• wiki-sync-action

  Public
  A GitHub Action that synchronizes the contents of a directory to the repository's Wiki.

  Shell

  •

  Apache License 2.0

  •1010 forks•00 stars•00 issues•00 pull requests•Updated Sep 25, 2023Sep 25, 2023

• Bear

  Public
  Bear is a tool that generates a compilation database for clang tooling.

  Python

  •

  GNU General Public License v3.0

  •359359 forks•00 stars•00 issues•00 pull requests•Updated Sep 14, 2023Sep 14, 2023

• kotlinx.collections.immutable

  Public
  Immutable persistent collections for Kotlin

  Kotlin

  •

  Apache License 2.0

  •6868 forks•00 stars•00 issues•00 pull requests•Updated Sep 7, 2023Sep 7, 2023

• juliet-java-test-suite

  Public
  Juliet Java test suite is a collection of 112 different CWEs

  javatest-suitejuliet

  javatest-suitejuliet

  Java

  •

  Creative Commons Zero v1.0 Universal

  •99 forks•99 stars•00 issues•00 pull requests•Updated Sep 1, 2023Sep 1, 2023

• .github

  Public
  README for UnitTestBot organization

  11 fork•00 stars•00 issues•00 pull requests•Updated May 3, 2023May 3, 2023

• soot

  Public
  Soot - A Java optimization framework

  Java

  •

  GNU Lesser General Public License v2.1

  •720720 forks•00 stars•00 issues•00 pull requests•Updated Nov 24, 2022Nov 24, 2022

• utbot-site-staging

  Public
  UnitTestBot is developed in current repository

  HTML

  •00 forks•00 stars•00 issues•00 pull requests•Updated Oct 29, 2022Oct 29, 2022

• UTBotCpp-test-project

  Public
  Test project for UTBotCpp-action

  C

  •

  Apache License 2.0

  •11 fork•00 stars•00 issues•33 pull requests•Updated Oct 11, 2022Oct 11, 2022

• UTBotCpp-action

  Public
  Github action that runs UTBotCpp for your project

  11 fork•00 stars•00 issues•00 pull requests•Updated Oct 11, 2022Oct 11, 2022

• UTBotJava-action

  Public
  An action for unit tests generation and SARIF report creation with the UTBotJava engine

  javatest-generationgithub-action+ 1

  javatest-generationgithub-actionsarif-report

  11 fork•00 stars•00 issues•00 pull requests•Updated Jul 7, 2022Jul 7, 2022

• UTBotJava-action-example

  Public
  Example of a repository using UTBotJava-action

  Java

  •11 fork•00 stars•00 issues•00 pull requests•Updated Jul 7, 2022Jul 7, 2022