UnitTestBot / UTBotJava
Automated unit test generation and precise code analysis for Java
☆139Updated 11 months ago
Alternatives and similar repositories for UTBotJava:
Users that are interested in UTBotJava are comparing it to the libraries listed below
- fast and effective way to access and analyze java bytecode☆27Updated this week
- TestSpark - a plugin for generating unit tests. TestSpark natively integrates different AI-based test generation tools and techniques in …☆70Updated this week
- Static Analyzer for Java Code with Machine Learning in Mind☆52Updated this week
- A platform for analysis of Java bytecode☆30Updated 6 months ago
- An IntelliJ IDEA plugin that detects refactorings in Git commits☆106Updated last year
- ☆12Updated last month
- Kotlin/Java API for various SMT solvers☆31Updated last month
- A program slicer for Java, based on the system dependence graph (SDG).☆66Updated last year
- Tool that generates unit test by C/C++ source code, trying to reach all branches and maximize code coverage☆169Updated 6 months ago
- Examples on how to use the Spoon Java source code transformation library☆89Updated 2 years ago
- Automatic repair system for static analysis warnings from SonarQube's SonarJava, TDSC 2022 http://arxiv.org/pdf/2103.12033☆94Updated this week
- A framework for the large scale analysis of programming language usage.☆26Updated last year
- A Tool for Mining Rich Abstract Syntax Trees from Code☆58Updated last year
- DepTrim automatically specializes the software supply chain of dependencies in Maven projects https://arxiv.org/pdf/2302.08370☆14Updated 2 weeks ago
- FLACOCO: Fault Localization for Java based on Industry-grade Coverage http://arxiv.org/pdf/2111.12513☆30Updated 2 weeks ago
- IntelliJ IDEA plugin for Frege language☆40Updated 2 years ago
- Explyt Spring is a free, source-available plugin for IntelliJ IDEA Community Edition, designed to simplify and improve development with t…☆62Updated 3 weeks ago
- Lightweight Java Visualizer☆291Updated 2 years ago
- Materials for the "Principles of Static Program Analysis" course☆9Updated 5 months ago
- A simple tool for versioning your JVM app which calculates the version of the commit in SemVer format☆37Updated last week
- A tool for running a set of pre-configured linters and evaluating code quality. It is used on the Hyperskill platform to check the qualit…☆29Updated 7 months ago
- Automatic program repair for Java with generate-and-validate techniques : jGenProg (2014) - jMutRepair (2016) - jKali (2016) - DeepRepai…☆210Updated last month
- Computes the AST difference (aka edit script) between two Spoon Java source code abstract syntax trees☆165Updated last week
- junit tools contest infrastructure☆11Updated last year
- The project is not actively supported.☆57Updated 3 years ago
- A Reproducible Benchmark of Recent Java Bugs☆36Updated last week
- Universal Symbolic Virtual Machine☆23Updated this week
- Open paper reading club @ JetBrains☆38Updated 6 months ago
- A curated list of standards, tests and benchmarks that can be used for testing and evaluating dev-tools☆17Updated 2 years ago
- Symbolic PathFinder☆145Updated last month