Automated unit test generation and precise code analysis for Java
☆142Oct 27, 2025Updated 4 months ago
Alternatives and similar repositories for UTBotJava
Users that are interested in UTBotJava are comparing it to the libraries listed below
Sorting:
- fast and effective way to access and analyze java bytecode☆32Dec 10, 2025Updated 2 months ago
- Tool that generates unit test by C/C++ source code, trying to reach all branches and maximize code coverage☆182Oct 18, 2024Updated last year
- A curated list of standards, tests and benchmarks that can be used for testing and evaluating dev-tools☆15Dec 23, 2022Updated 3 years ago
- Kotlin/Java API for various SMT solvers☆36Oct 8, 2025Updated 4 months ago
- Explyt with an AI agent for coding, testing, and debugging, understands the project structure, follows its style, and integrates tests in…☆13Feb 12, 2026Updated 2 weeks ago
- Symbolic execution engine for .NET Core☆53Jan 6, 2025Updated last year
- Spring Boot Unit testing and Integration testing☆24Nov 27, 2022Updated 3 years ago
- KLEEF Symbolic Execution Engine☆22Aug 4, 2025Updated 6 months ago
- Find, view and copy Unicode characters in a simple and beautiful way☆18May 18, 2025Updated 9 months ago
- Python infrastructure to train paths selectors for symbolic execution engines.☆13Updated this week
- HashCats Auto Clicker is a versatile tool that enhances your gaming experience by automating various actions within the HashCats game☆18Updated this week
- IntelliJ IDEA plugin for Frege language☆38May 21, 2022Updated 3 years ago
- Text Object Java Objects (TOJOs): an object representation of a multi-line structured text file like CSV, YAML, or JSON☆21Feb 17, 2026Updated last week
- Maven Plugin for checking tests in Java projects☆24Updated this week
- Cat photo storage☆14May 26, 2024Updated last year
- LaTeX Build Quality Control: checks the log file after LaTeX and finds error reports☆12Feb 17, 2026Updated last week
- Excel COM bindings for use with Jinx☆12Jan 10, 2020Updated 6 years ago
- Mailosaur email and SMS testing library for Java☆11Feb 11, 2026Updated 2 weeks ago
- Test data for x86 instructions☆13Apr 13, 2021Updated 4 years ago
- 🗿 SAT solver wrappers for Kotlin☆11Mar 2, 2024Updated last year
- Regular Invariant Generator and SMTLIB2 code transformer☆13Aug 8, 2022Updated 3 years ago
- An Open Source Pun database.☆11Apr 27, 2021Updated 4 years ago
- Abstract Object inference for EO Programs☆10Feb 16, 2026Updated last week
- Hamcrest Matchers for EO Programming Language☆17Jun 27, 2024Updated last year
- Executes Java lambda in multiple threads and collects their results (useful for testing for thread-safety)☆19Feb 16, 2026Updated last week
- This Maven plugin converts Java Bytecode binary files to EOLANG programs that use the "opcode" atom☆19Feb 20, 2026Updated last week
- DepTrim automatically specializes the software supply chain of dependencies in Maven projects https://arxiv.org/pdf/2302.08370☆15Feb 21, 2026Updated last week
- Dracula inspired theme for Ghidra☆12Dec 3, 2019Updated 6 years ago
- A maven plugin capable or running the JMH benchmarks found in the test sources.☆29Oct 15, 2020Updated 5 years ago
- A set of extensions to Okio, check out https://saveourtool.github.io/okio-extras/☆14Jan 3, 2025Updated last year
- Default Docker image for Rultor☆12Feb 16, 2026Updated last week
- Plan de cours pour IFT3913 [automne 2025]☆26Dec 4, 2025Updated 2 months ago
- A collection of views that constraint on boundedWidth/boundedHeight. Helpful where android:maxWidth not working☆10Aug 4, 2016Updated 9 years ago
- A simple example of kotlim compiler plugin with FIR and IR.☆13Oct 31, 2022Updated 3 years ago
- use spring boot to develop wechat official accounts☆17Jun 29, 2022Updated 3 years ago
- A simple tool for versioning your JVM app which calculates the version of the commit in SemVer format☆44Updated this week
- A platform for analysis of Java bytecode☆39Oct 14, 2024Updated last year
- Command Line Style Checker of XML Documents: to make sure they are always formatted nicely☆30Feb 16, 2026Updated last week
- MiGBase64 is a very fast and small Base64 Codec written in Java (clone of http://migbase64.sourceforge.net/)☆16Oct 13, 2020Updated 5 years ago