TestingResearchIllinois / NonDex
A tool for finding assumptions on APIs with under-determined specifications.
☆47Updated 2 months ago
Alternatives and similar repositories for NonDex:
Users that are interested in NonDex are comparing it to the libraries listed below
- Examples on how to use the Spoon Java source code transformation library☆86Updated 2 years ago
- Software testing optimization tool☆28Updated last year
- Sample code for the presentation on JVM Serviceability Tools☆27Updated 6 years ago
- a concolic testing engine for Java☆102Updated 7 years ago
- Minimal Maven reusable one-stop shop library☆38Updated last week
- 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…☆189Updated last month
- VMVM: Unit Test Virtualization for Java☆26Updated 2 years ago
- The DaCapo benchmark suite☆172Updated last month
- A place for Microsoft's Java Engineering Group to put OpenJDK JEPs and/or patches before we submit to OpenJDK☆33Updated 9 months ago
- JFR Datasource for Grafana☆49Updated this week
- An updated version of the javacc-maven-plugin using ParserGeneratorCC☆42Updated last month
- Reproducible Central: rebuild instructions for artifacts published to (Maven) Central Repository☆108Updated this week
- Documentation of available JFR-Events☆19Updated 2 years ago
- Java Bridge Method Maker☆27Updated last year
- Automatic repair system for static analysis warnings from SonarQube's SonarJava, TDSC 2022 http://arxiv.org/pdf/2103.12033☆93Updated this week
- A SpotBugs/FindBugs plugin to verify usage of SLF4J☆75Updated last year
- Turn -XX:+TraceBytecodes output into a FlameGraph compatible stack format☆42Updated 8 months ago
- Single-file program that illustrates how the JFR streaming API can be used.☆110Updated 2 years ago
- A tool to visualize API changes timeline of a Java library☆54Updated 3 years ago
- IntelliJ plugin to view JFR profiler files and to profile using JFR☆58Updated 6 months ago
- Automatically detect and generate missing assertions for Junit test cases (also known as test amplification)☆117Updated 6 months ago
- Library for streaming Java Flight Recording (JFR) files from local or remote JVMs☆91Updated last year
- Agent to detect type pollution due to instanceof/checkcast misuses☆36Updated 2 years ago
- Universal dependency to build against jdk.tools (AKA tools.jar) in a portable way☆37Updated 9 years ago
- The reference implementation for the JSpecify nullness specification (and later, its other specifications as well)☆29Updated last month
- A suite of tools for analyzing compiled Java code.☆45Updated 2 weeks ago
- hand-assembler for Java☆42Updated last week
- An Error Prone plugin for SLF4J☆31Updated this week
- Polyglot Extensible Compiler Framework for Java☆110Updated 3 years ago
- Concurrent Radix and Suffix Trees for Java☆28Updated 3 years ago