The UnitTestBot Java provides engineers with a simple way to generate unit tests and visualize coverage for projects written in Java Programming Language. The tool uses symbolic analysis for test cases generation.

It is based on a custom Symbolic Virtual Machine to analyze bytecode, traverse it and pass path constraints to the Z3 SMT Solver from Microsoft Labs to get a SAT /\ UNSAT model for codebase. UnitTestBot incorporates machine learning for test names and test variables generation.

JDK Version OpenJDK 1.8 - 11 compatible

IntelliJ IDEA 2022.1 - 2022.1.4

Maven/Gradle/IntelliJ