TestingResearchIllinois / NonDexLinks
A tool for finding assumptions on APIs with under-determined specifications.
☆47Updated 8 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☆183Updated 3 months ago
- The Renaissance Benchmark Suite☆330Updated 3 weeks ago
- Software testing optimization tool☆30Updated last year
- Examples on how to use the Spoon Java source code transformation library☆90Updated 2 years ago
- ☆30Updated 8 months ago
- Polyglot Extensible Compiler Framework for Java☆112Updated 3 years ago
- IntelliJ & Eclipse plugin for monitoring how Java applications are developed and tested☆19Updated 6 years ago
- Automatically detect and generate missing assertions for Junit test cases (also known as test amplification)☆117Updated last year
- 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…☆201Updated 3 months ago
- JavaCC☆74Updated 2 months ago
- DepClean automatically detects and removes unused dependencies in Maven projects 🔗 https://dx.doi.org/10.1007/s10664-020-09914-8)☆277Updated this week
- https://openjdk.org/projects/code-tools/jtreg☆62Updated last month
- dk.brics.automaton - finite-state automata and regular expressions for Java☆225Updated last year
- Heapothesys /hɪˈpɒθɪsɪs/ is a heap allocation JVM benchmark developed by the Amazon Corretto team.☆181Updated 2 months ago
- Reproducible Central: rebuild instructions for artifacts published to (Maven) Central Repository☆124Updated last week
- A Java DSL for binding method handles forward, rather than backward☆108Updated last year
- test driver to run JUnit tests isolated in a new JVM☆16Updated 8 months ago
- DepTrim automatically specializes the software supply chain of dependencies in Maven projects https://arxiv.org/pdf/2302.08370☆14Updated this week
- A tool to visualize API changes timeline of a Java library☆54Updated 3 years ago
- Java Concolic Unit Testing Engine☆91Updated 11 years ago
- A SpotBugs/FindBugs plugin to verify usage of SLF4J☆75Updated 2 years ago
- VMVM: Unit Test Virtualization for Java☆26Updated 3 years ago
- A suite of tools for analyzing compiled Java code.☆48Updated last week
- https://openjdk.org/projects/crac☆202Updated this week
- ☆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…☆123Updated last week
- Dead Code Detector finds never used code in Java applications☆32Updated 6 years ago
- ☆75Updated 7 years ago
- Jarviz is dependency analysis and visualization tool designed for Java applications☆151Updated last week
- Descartes supports developers to improve their test suites by reporting weak spots in covered code☆126Updated last month