TestingResearchIllinois / NonDexLinks
A tool for finding assumptions on APIs with under-determined specifications.
☆48Updated 10 months ago
Alternatives and similar repositories for NonDex
Users that are interested in NonDex are comparing it to the libraries listed below
Sorting:
- The DaCapo benchmark suite☆189Updated last month
- The Renaissance Benchmark Suite☆335Updated this week
- Examples on how to use the Spoon Java source code transformation library☆90Updated 3 years ago
- VMVM: Unit Test Virtualization for Java☆25Updated 3 years ago
- Software testing optimization tool☆31Updated last year
- Polyglot Extensible Compiler Framework for Java☆113Updated 3 years ago
- Heapothesys /hɪˈpɒθɪsɪs/ is a heap allocation JVM benchmark developed by the Amazon Corretto team.☆185Updated 4 months ago
- https://openjdk.org/projects/code-tools/jtreg☆64Updated 2 weeks ago
- Automatic repair system for static analysis warnings from SonarQube's SonarJava, TDSC 2022 http://arxiv.org/pdf/2103.12033☆97Updated 3 weeks ago
- Java Virtual Machine (JVM) Performance Benchmarks with a primary focus on top-tier Just-In-Time (JIT) Compilers, such as C2 JIT, Graal JI…☆125Updated last month
- 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…☆204Updated 5 months ago
- Java Concolic Unit Testing Engine☆92Updated 11 years ago
- JavaCC☆73Updated 4 months ago
- Automatically detect and generate missing assertions for Junit test cases (also known as test amplification)☆118Updated last year
- Reproducible Central: rebuild instructions for artifacts published to (Maven) Central Repository☆125Updated this week
- DepTrim automatically specializes the software supply chain of dependencies in Maven projects https://arxiv.org/pdf/2302.08370☆15Updated this week
- Single-file program that illustrates how the JFR streaming API can be used.☆115Updated 2 months ago
- Tool for creating reports from Java Flight Recorder dumps☆54Updated 7 years ago
- test driver to run JUnit tests isolated in a new JVM☆16Updated 9 months ago
- https://openjdk.org/projects/shenandoah☆85Updated 2 months ago
- Maven plugin to handle multi module projects for PiTest☆49Updated 2 years ago
- ☆75Updated 7 years ago
- A place for Microsoft's Java Engineering Group to put OpenJDK JEPs and/or patches before we submit to OpenJDK☆33Updated last year
- Web frontend and REST API for Java Flight Recorder with Flamegraphs 🔥☆83Updated 2 years ago
- Packages async-profiler with binaries for all platforms in a single JAR☆146Updated 2 months ago
- DepClean automatically detects and removes unused dependencies in Maven projects 🔗 https://dx.doi.org/10.1007/s10664-020-09914-8)☆283Updated last week
- ☆63Updated this week
- Minimal Maven reusable one-stop shop library☆44Updated this week
- dk.brics.automaton - finite-state automata and regular expressions for Java☆228Updated 2 weeks ago
- HeapFragger: A heap fragmentation inducer☆60Updated 4 years ago