UnitTestBot / UTBotJava
Automated unit test generation and precise code analysis for Java
☆137Updated 5 months ago
Related projects ⓘ
Alternatives and complementary repositories for UTBotJava
- fast and effective way to access and analyze java bytecode☆21Updated this week
- A platform for analysis of Java bytecode☆28Updated last month
- TestSpark - a plugin for generating unit tests. TestSpark natively integrates different AI-based test generation tools and techniques in …☆54Updated this week
- Kotlin/Java API for various SMT solvers☆30Updated last month
- An IntelliJ IDEA plugin that detects refactorings in Git commits☆104Updated 10 months ago
- A framework for the large scale analysis of programming language usage.☆24Updated last year
- Explyt Spring is a free, source-available plugin for IntelliJ IDEA Community Edition, designed to simplify and improve development with t…☆37Updated this week
- Boomerang is a on-demand context and flow-sensitive pointer analysis for Java.☆23Updated 4 years ago
- FLACOCO: Fault Localization for Java based on Industry-grade Coverage http://arxiv.org/pdf/2111.12513☆29Updated this week
- Open paper reading club @ JetBrains☆36Updated last month
- Tool that generates unit test by C/C++ source code, trying to reach all branches and maximize code coverage☆158Updated last month
- A program slicer for Java, based on the system dependence graph (SDG).☆58Updated last year
- Universal Symbolic Virtual Machine☆21Updated this week
- A Tool for Mining Rich Abstract Syntax Trees from Code☆58Updated last year
- Static Analyzer for Java Code with Machine Learning in Mind☆51Updated 7 months ago
- ☆10Updated this week
- GZoltar - Java Library for Automatic Debugging http://www.gzoltar.com☆77Updated 3 months ago
- Slicer4J is an accurate, low-overhead dynamic slicer for Java programs.☆39Updated 9 months ago
- A symbolic Java virtual machine for program analysis, verification and test generation☆104Updated 2 weeks ago
- Examples on how to use the Spoon Java source code transformation library☆85Updated 2 years ago
- Automatically detect and generate missing assertions for Junit test cases (also known as test amplification)☆114Updated 3 months ago
- Software testing optimization tool☆27Updated 9 months ago
- ☆24Updated 5 months ago
- The project is not actively supported.☆58Updated 2 years ago
- The SUSHI test case generator☆22Updated 7 months ago
- Automatic repair system for static analysis warnings from SonarQube's SonarJava, TDSC 2022 http://arxiv.org/pdf/2103.12033☆90Updated this week
- An IntelliJ IDEA plugin improving type migration refactoring using inferred type conversion rules☆10Updated 3 years ago
- A dynamic symbolic analysis tool for Java☆114Updated 5 years ago
- PROGEX (Program Graph Extractor); a cross platform tool for extracting graphical program representations from software source code☆83Updated 3 years ago
- DepClean automatically detects and removes unused dependencies in Maven projects (https://dx.doi.org/10.1007/s10664-020-09914-8)☆254Updated this week