TestingResearchIllinois / NonDexLinks
A tool for finding assumptions on APIs with under-determined specifications.
☆50Updated last year
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☆191Updated 3 months ago
- The Renaissance Benchmark Suite☆340Updated this week
- Software testing optimization tool☆32Updated last year
- Examples on how to use the Spoon Java source code transformation library☆92Updated 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 3 weeks ago
- Polyglot Extensible Compiler Framework for Java☆113Updated 3 years ago
- dk.brics.automaton - finite-state automata and regular expressions for Java☆229Updated 2 months ago
- JavaCC☆75Updated 6 months ago
- ☆36Updated 4 years ago
- Automatically detect and generate missing assertions for Junit test cases (also known as test amplification)☆118Updated last year
- Java Concolic Unit Testing Engine☆93Updated 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
- A Java DSL for binding method handles forward, rather than backward☆109Updated last month
- A tool to visualize API changes timeline of a Java library☆54Updated 4 years ago
- https://openjdk.org/projects/shenandoah☆85Updated 4 months ago
- ☆75Updated 8 years ago
- VMVM: Unit Test Virtualization for Java☆25Updated 3 years ago
- Single-file program that illustrates how the JFR streaming API can be used.☆115Updated 4 months ago
- Packages async-profiler with binaries for all platforms in a single JAR☆151Updated last month
- test driver to run JUnit tests isolated in a new JVM☆16Updated 11 months ago
- A SpotBugs/FindBugs plugin to verify usage of SLF4J☆77Updated 2 years ago
- An updated version of the javacc-maven-plugin using ParserGeneratorCC☆42Updated 4 months ago
- ☆32Updated last year
- Property-based test framework☆82Updated 2 months ago
- This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives fro…☆163Updated last week
- Heapothesys /hɪˈpɒθɪsɪs/ is a heap allocation JVM benchmark developed by the Amazon Corretto team.☆188Updated 6 months ago
- Policeman's Forbidden API Checker☆359Updated last month
- Descartes supports developers to improve their test suites by reporting weak spots in covered code☆126Updated 2 months ago
- HeapFragger: A heap fragmentation inducer☆60Updated 4 years ago
- DepTrim automatically specializes the software supply chain of dependencies in Maven projects https://arxiv.org/pdf/2302.08370☆15Updated last month