Pinned Repositories
byteflow
jacodb
fast and effective way to access and analyze java bytecode
klee
KLEEF Symbolic Execution Engine
klogic
An implementation of miniKanren in Kotlin
kosat
Pure Kotlin CDCL SAT solver
ksmt
Kotlin/Java API for various SMT solvers
unittestbot.github.io
UTBot Cloud client side - web application generating tests
usvm
Universal Symbolic Virtual Machine
UTBotCpp
Tool that generates unit test by C/C++ source code, trying to reach all branches and maximize code coverage
UTBotJava
Automated unit test generation and precise code analysis for Java
UnitTestBot's Repositories
UnitTestBot/UTBotCpp
Tool that generates unit test by C/C++ source code, trying to reach all branches and maximize code coverage
UnitTestBot/UTBotJava
Automated unit test generation and precise code analysis for Java
UnitTestBot/ksmt
Kotlin/Java API for various SMT solvers
UnitTestBot/jacodb
fast and effective way to access and analyze java bytecode
UnitTestBot/usvm
Universal Symbolic Virtual Machine
UnitTestBot/klee
KLEEF Symbolic Execution Engine
UnitTestBot/kosat
Pure Kotlin CDCL SAT solver
UnitTestBot/byteflow
UnitTestBot/klogic
An implementation of miniKanren in Kotlin
UnitTestBot/unittestbot.github.io
UTBot Cloud client side - web application generating tests
UnitTestBot/jacodb.org
Site for JacoDB library
UnitTestBot/msbuild-database
An MsBuild logger that emit compile_commands.json and link_commands.json files from a C++ project build.
UnitTestBot/UnitTestBot-Spring-demo
UnitTestBot/UTBotPythonSBFT2024
UTBot-Python-SBFT-Competitions-2024
UnitTestBot/soot
Soot - A Java optimization framework
UnitTestBot/USE
UnitTestBot Symbolic Execution machine
UnitTestBot/utbot-site-staging
UnitTestBot is developed in current repository
UnitTestBot/UTBotCpp-test-project
Test project for UTBotCpp-action
UnitTestBot/UTBotJava-action
An action for unit tests generation and SARIF report creation with the UTBotJava engine
UnitTestBot/UTBotJava-action-example
Example of a repository using UTBotJava-action
UnitTestBot/.github
README for UnitTestBot organization
UnitTestBot/Bear
Bear is a tool that generates a compilation database for clang tooling.
UnitTestBot/java-stdlib-approximations
UnitTestBot/juliet-java-test-suite
Juliet Java test suite is a collection of 112 different CWEs
UnitTestBot/kotlinx.collections.immutable
Immutable persistent collections for Kotlin
UnitTestBot/ML-path-selection
Summer internship project for ML path selection
UnitTestBot/PythonTypesAPI
UnitTestBot/utbotc_tests
UnitTestBot/UTBotCpp-action
Github action that runs UTBotCpp for your project
UnitTestBot/wiki-sync-action
A GitHub Action that synchronizes the contents of a directory to the repository's Wiki.