TestingResearchIllinois / NonDex
A tool for finding assumptions on APIs with under-determined specifications.
☆47Updated 3 months ago
Alternatives and similar repositories for NonDex:
Users that are interested in NonDex are comparing it to the libraries listed below
- Software testing optimization tool☆28Updated last year
- Examples on how to use the Spoon Java source code transformation library☆86Updated 2 years ago
- Automatically detect and generate missing assertions for Junit test cases (also known as test amplification)☆117Updated 7 months ago
- test driver to run JUnit tests isolated in a new JVM☆16Updated 3 months ago
- Maven plugin to handle multi module projects for PiTest☆47Updated last year
- ☆36Updated 3 years ago
- Automatic repair system for static analysis warnings from SonarQube's SonarJava, TDSC 2022 http://arxiv.org/pdf/2103.12033☆93Updated 2 weeks ago
- Minimal Maven reusable one-stop shop library☆39Updated 2 weeks ago
- Reproducible Central: rebuild instructions for artifacts published to (Maven) Central Repository☆110Updated this week
- The DaCapo benchmark suite☆173Updated 2 months ago
- A tool to visualize API changes timeline of a Java library☆54Updated 3 years ago
- Dead Code Detector finds never used code in Java applications☆32Updated 5 years ago
- IntelliJ & Eclipse plugin for monitoring how Java applications are developed and tested☆19Updated 6 years ago
- FLACOCO: Fault Localization for Java based on Industry-grade Coverage http://arxiv.org/pdf/2111.12513☆29Updated last week
- a concolic testing engine for Java☆103Updated 7 years ago
- JavaCC☆71Updated last year
- Tool to detect and visualise class and package cycles☆39Updated 3 years ago
- Sample code for the presentation on JVM Serviceability Tools☆27Updated 6 years ago
- ☆71Updated 7 years ago
- Botsing is a Java framework for crash reproduction. It depends on EvoSuite (http://www.evosuite.org) for code instrumentation.☆33Updated 2 years ago
- Polyglot Extensible Compiler Framework for Java☆110Updated 3 years ago
- DepTrim automatically specializes the software supply chain of dependencies in Maven projects https://arxiv.org/pdf/2302.08370☆13Updated last week
- Java Concolic Unit Testing Engine☆88Updated 10 years ago
- Documentation of available JFR-Events☆20Updated 2 years ago
- Testing support for OSGi. Includes JUnit 4 and JUnit 5 support and AssertJ support.☆40Updated this week
- fast and effective way to access and analyze java bytecode☆27Updated 2 weeks ago
- Concurrent Radix and Suffix Trees for Java☆28Updated 3 years ago
- Convert java 11 JFR to folded format for https://github.com/brendangregg/FlameGraph☆12Updated 5 years ago
- Automatic code rewriting for AssertJ using error-prone and refaster☆16Updated this week
- IntelliJ plugin to view JFR profiler files and to profile using JFR☆58Updated 6 months ago