UnitTestBot

UTBotJava

Automated unit test generation and precise code analysis for Java

UTBotCpp

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

ksmt

Kotlin/Java API for various SMT solvers

jacodb

fast and effective way to access and analyze java bytecode

klee

KLEEF Symbolic Execution Engine

usvm

Universal Symbolic Virtual Machine

kosat

Pure Kotlin CDCL SAT solver

unittestbot.github.io

UTBot Cloud client side - web application generating tests

byteflow

jacodb.org

Site for JacoDB library

klogic

An implementation of miniKanren in Kotlin

msbuild-database

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

UnitTestBot-Spring-demo

UTBotPythonSBFT2024

UTBot-Python-SBFT-Competitions-2024

soot

Soot - A Java optimization framework

USE

UnitTestBot Symbolic Execution machine

utbot-site-staging

UnitTestBot is developed in current repository

UTBotCpp-test-project

Test project for UTBotCpp-action

UTBotJava-action

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

UTBotJava-action-example

Example of a repository using UTBotJava-action

.github

README for UnitTestBot organization

Bear

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

java-stdlib-approximations

juliet-java-test-suite

Juliet Java test suite is a collection of 112 different CWEs

kotlinx.collections.immutable

Immutable persistent collections for Kotlin

ML-path-selection

Summer internship project for ML path selection

PythonTypesAPI

utbotc_tests

UTBotCpp-action

Github action that runs UTBotCpp for your project

wiki-sync-action

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