unittestbot Goto Github PK

.github

README for UnitTestBot organization

bear

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

byteflow

jacodb

fast and effective way to access and analyze java bytecode

jacodb.org

Site for JacoDB library

java-stdlib-approximations

juliet-java-test-suite

Juliet Java test suite is a collection of 112 different CWEs

klee

KLEEF Symbolic Execution Engine

klogic

An implementation of miniKanren in Kotlin

kosat

Pure Kotlin CDCL SAT solver

kotlinx.collections.immutable

Immutable persistent collections for Kotlin

ksmt

Kotlin/Java API for various SMT solvers

ml-path-selection

Summer internship project for ML path selection

msbuild-database

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

pythontypesapi

soot

Soot - A Java optimization framework

unittestbot-spring-demo

unittestbot.github.io

UTBot Cloud client side - web application generating tests

use

UnitTestBot Symbolic Execution machine

usvm

Universal Symbolic Virtual Machine

utbot-site-staging

UnitTestBot is developed in current repository

utbotcpp

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

utbotcpp-action

Github action that runs UTBotCpp for your project

utbotcpp-test-project

Test project for UTBotCpp-action

utbotjava

Automated unit test generation and precise code analysis for Java

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

utbotpythonsbft2024

UTBot-Python-SBFT-Competitions-2024

wiki-sync-action

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