TestingResearchIllinois / NonDex
A tool for finding assumptions on APIs with under-determined specifications.
☆47Updated 5 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
- Automatically detect and generate missing assertions for Junit test cases (also known as test amplification)☆117Updated 8 months ago
- The DaCapo benchmark suite☆174Updated last week
- HeapFragger: A heap fragmentation inducer☆60Updated 3 years ago
- Examples on how to use the Spoon Java source code transformation library☆88Updated 2 years ago
- ☆71Updated 7 years ago
- AST-based structured merge tool for Java, fully Git compatible https://doi.org/10.1109/TSE.2022.3143766☆58Updated last month
- Automatic repair system for static analysis warnings from SonarQube's SonarJava, TDSC 2022 http://arxiv.org/pdf/2103.12033☆93Updated last week
- Documentation of available JFR-Events☆20Updated 2 years ago
- Java 8 parser☆22Updated last year
- A tool to visualize API changes timeline of a Java library☆54Updated 3 years ago
- Convert java 11 JFR to folded format for https://github.com/brendangregg/FlameGraph☆12Updated 5 years ago
- VMVM: Unit Test Virtualization for Java☆26Updated 2 years ago
- a concolic testing engine for Java☆105Updated 7 years ago
- A Maven plugin to run the Spoon analysis and transformation engine for Java☆21Updated last month
- Polyglot Extensible Compiler Framework for Java☆110Updated 3 years ago
- https://openjdk.org/projects/code-tools/jtreg☆60Updated last week
- Concurrent Radix and Suffix Trees for Java☆28Updated 3 years ago
- Sample code for the presentation on JVM Serviceability Tools☆27Updated 6 years ago
- Demo of Java Flight Recorder custom events and event streaming☆83Updated 3 years ago
- ☆20Updated 3 years ago
- Reproducible Central: rebuild instructions for artifacts published to (Maven) Central Repository☆112Updated this week
- FLACOCO: Fault Localization for Java based on Industry-grade Coverage http://arxiv.org/pdf/2111.12513☆30Updated this week
- Maven plugin to handle multi module projects for PiTest☆47Updated last year
- The Renaissance Benchmark Suite☆322Updated 2 weeks ago
- ☆29Updated 5 months ago
- Minimal Maven reusable one-stop shop library☆39Updated this week
- Tool for creating reports from Java Flight Recorder dumps☆54Updated 6 years ago
- IntelliJ & Eclipse plugin for monitoring how Java applications are developed and tested☆19Updated 6 years ago
- Library for streaming Java Flight Recording (JFR) files from local or remote JVMs☆91Updated last year