TestingResearchIllinois / NonDexLinks
A tool for finding assumptions on APIs with under-determined specifications.
☆49Updated 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 2 months ago
- Software testing optimization tool☆32Updated last year
- The Renaissance Benchmark Suite☆336Updated this week
- A tool to visualize API changes timeline of a Java library☆54Updated 4 years ago
- VMVM: Unit Test Virtualization for Java☆25Updated 3 years ago
- Examples on how to use the Spoon Java source code transformation library☆91Updated 3 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…☆204Updated 5 months ago
- Java Concolic Unit Testing Engine☆92Updated 11 years ago
- Automatic repair system for static analysis warnings from SonarQube's SonarJava, TDSC 2022 http://arxiv.org/pdf/2103.12033☆97Updated 2 weeks ago
- Polyglot Extensible Compiler Framework for Java☆113Updated 3 years ago
- DepClean automatically detects and removes unused dependencies in Maven projects 🔗 https://dx.doi.org/10.1007/s10664-020-09914-8)☆284Updated last week
- Reproducible Central: rebuild instructions for artifacts published to (Maven) Central Repository☆126Updated this week
- Single-file program that illustrates how the JFR streaming API can be used.☆115Updated 3 months ago
- JavaCC☆74Updated 5 months ago
- Automatically detect and generate missing assertions for Junit test cases (also known as test amplification)☆118Updated last year
- ☆75Updated 7 years ago
- dk.brics.automaton - finite-state automata and regular expressions for Java☆228Updated last month
- A Java DSL for binding method handles forward, rather than backward☆109Updated last year
- ☆36Updated 3 years 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
- Maven plugin to handle multi module projects for PiTest☆49Updated 2 years ago
- test driver to run JUnit tests isolated in a new JVM☆16Updated 10 months ago
- A tool for checking backward API/ABI compatibility of a Java library☆379Updated last year
- Heapothesys /hɪˈpɒθɪsɪs/ is a heap allocation JVM benchmark developed by the Amazon Corretto team.☆185Updated 4 months ago
- Minimal Maven reusable one-stop shop library☆46Updated this week
- A suite of tools for analyzing compiled Java code.☆48Updated 2 weeks ago
- Jarviz is dependency analysis and visualization tool designed for Java applications☆158Updated last week
- The reference implementation for the JSpecify nullness specification (and later, its other specifications as well)☆30Updated last month
- ☆29Updated 10 months ago
- IntelliJ & Eclipse plugin for monitoring how Java applications are developed and tested☆19Updated 7 years ago