TestingResearchIllinois / NonDexLinks
A tool for finding assumptions on APIs with under-determined specifications.
☆47Updated 7 months ago
Alternatives and similar repositories for NonDex
Users that are interested in NonDex are comparing it to the libraries listed below
Sorting:
- Software testing optimization tool☆30Updated last year
- Examples on how to use the Spoon Java source code transformation library☆89Updated 2 years ago
- Reproducible Central: rebuild instructions for artifacts published to (Maven) Central Repository☆115Updated this week
- JFR Datasource for Grafana☆50Updated last week
- Documentation of available JFR-Events☆20Updated 3 years ago
- The DaCapo benchmark suite☆180Updated last month
- https://openjdk.org/projects/code-tools/jtreg☆63Updated last month
- VMVM: Unit Test Virtualization for Java☆26Updated 3 years ago
- Minimal Maven reusable one-stop shop library☆40Updated this week
- A place for Microsoft's Java Engineering Group to put OpenJDK JEPs and/or patches before we submit to OpenJDK☆33Updated last year
- https://openjdk.org/projects/shenandoah☆83Updated 2 years ago
- Java Concolic Unit Testing Engine☆89Updated 10 years ago
- Revapi is an API analysis and change tracking tool written in Java. Its focus is mainly on Java language itself but it has been specif…☆199Updated 2 months ago
- Demo of Java Flight Recorder custom events and event streaming☆83Updated 3 years ago
- Automatically detect and generate missing assertions for Junit test cases (also known as test amplification)☆117Updated 10 months ago
- A code refactoring tool for java created with jgit and spoon for small diffs.☆18Updated this week
- ☆20Updated 4 years ago
- Automatic repair system for static analysis warnings from SonarQube's SonarJava, TDSC 2022 http://arxiv.org/pdf/2103.12033☆95Updated last month
- ☆75Updated 7 years ago
- The Renaissance Benchmark Suite☆329Updated 2 months ago
- An Error Prone plugin for SLF4J☆32Updated 3 weeks ago
- Single-file program that illustrates how the JFR streaming API can be used.☆110Updated 2 years ago
- JavaCC☆74Updated last month
- Java serviceability examples. Includes simple example apps for jmc, jfr, attach, jmx, jplis, jdi and perfcounters.☆33Updated 4 years ago
- a concolic testing engine for Java☆106Updated 7 years ago
- SpongeBugs: Automatically Generating Fix Suggestions for SonarQube / SpotBugs☆23Updated 3 years ago
- A tool to visualize API changes timeline of a Java library☆54Updated 3 years ago
- Web frontend and REST API for Java Flight Recorder with Flamegraphs 🔥☆82Updated last year
- Convert java 11 JFR to folded format for https://github.com/brendangregg/FlameGraph☆12Updated 6 years ago
- ☆12Updated 4 years ago