Automated unit test generation and precise code analysis for Java
☆147Oct 27, 2025Updated last year
Alternatives and similar repositories for UTBotJava
Users that are interested in UTBotJava are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- fast and effective way to access and analyze java bytecode☆33Oct 20, 2026Updated last week
- 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☆42Aug 11, 2026Updated 2 months ago
- Spring Boot Unit testing and Integration testing☆24Nov 27, 2022Updated 3 years ago
- ☆26Oct 23, 2026Updated last week
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- AI agent for JetBrains IDEs: debugger, refactorings, and symbol navigation via IDE — fewer tokens, more precision☆26Oct 14, 2026Updated 2 weeks ago
- Maven Plugin for checking tests in Java projects☆26Updated this week
- JEP binaries multiplatform distro☆12Jan 14, 2024Updated 2 years ago
- Symbolic execution engine for .NET Core☆60Jan 6, 2025Updated last year
- The open source taint analysis engine for the AI era. A formal dataflow analysis tool you can customize and self-host, built so AI agents…☆170Updated this week
- Cat photo storage☆13May 26, 2024Updated 2 years ago
- Hamcrest Matchers for EO Programming Language☆17Jun 27, 2024Updated 2 years ago
- Jsmith, a random generator of Java programs☆18Updated this week
- A platform for analysis of Java bytecode☆40Oct 14, 2024Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A simple projects that reproduces HandlerThread leaks☆10Jul 15, 2020Updated 6 years ago
- A set of extensions to Okio, check out https://saveourtool.github.io/okio-extras/☆13Jan 3, 2025Updated last year
- Source code (C,C++,Java) static analysis tool☆53Jul 5, 2024Updated 2 years ago
- A simple tool for versioning your JVM app which calculates the version of the commit in SemVer format☆46Updated this week
- 🗿 SAT solver wrappers for Kotlin☆11Mar 2, 2024Updated 2 years ago
- Pure Kotlin CDCL SAT solver☆13Jan 9, 2026Updated 9 months ago
- KLEEF Symbolic Execution Engine☆25Apr 18, 2026Updated 6 months ago
- Universal test framework for cli tools [mainly for code analyzers and compilers]☆44Jun 7, 2026Updated 4 months ago
- This Maven plugin converts Java Bytecode binary files to EOLANG programs that use the "opcode" atom☆23Updated this week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Annual festival of open source projects: submit yours and win up to $2048!☆18Oct 13, 2026Updated 2 weeks ago
- Command Line Style Checker of XML Documents: to make sure they are always formatted nicely☆31Updated this week
- Cluster-based cloud mechanism for running SAVE framework☆38Jun 4, 2026Updated 4 months ago
- Text Object Java Objects (TOJOs): an object representation of a multi-line structured text file like CSV, YAML, or JSON☆24Updated this week
- General-purpose programming language based mostly on JavaScript syntax☆18Aug 24, 2022Updated 4 years ago
- A library for the large scale analysis of Jupyter notebooks☆21Nov 24, 2025Updated 11 months ago
- LaTeX Build Quality Control: checks the log file after LaTeX and finds error reports☆13Updated this week
- A collection of views that constraint on boundedWidth/boundedHeight. Helpful where android:maxWidth not working☆10Aug 4, 2016Updated 10 years ago
- Replication package of the ICSE2025 paper titled "Leveraging Large Language Models for Enhancing the Understandability of Generated Unit …☆11Feb 19, 2025Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- "Quantum Performance Effects" demo☆14Jan 8, 2015Updated 11 years ago
- MiGBase64 is a very fast and small Base64 Codec written in Java (clone of http://migbase64.sourceforge.net/)☆16Oct 13, 2020Updated 6 years ago
- Tool for fast navigation to ViewHolder's source code and visual debugging of complex RecyclerViews.☆13Updated this week
- Experimental Transpiler of Java Programs to EO Programming Language☆12Oct 22, 2026Updated last week
- Sydr benchmark applications☆17Jul 25, 2022Updated 4 years ago
- API ВКонтакте 5.87☆10Dec 6, 2018Updated 7 years ago
- A collection of style checkers for XMIR: they don't predict runtime errors, but prevent compilation mistakes☆14Updated this week