TestingResearchIllinois / NonDex
A tool for finding assumptions on APIs with under-determined specifications.
☆46Updated this week
Related projects ⓘ
Alternatives and complementary repositories for NonDex
- Software testing optimization tool☆27Updated 9 months ago
- ☆71Updated 7 years ago
- The DaCapo benchmark suite☆160Updated last week
- Documentation of available JFR-Events☆19Updated 2 years ago
- Java Concolic Unit Testing Engine☆88Updated 10 years ago
- Polyglot Extensible Compiler Framework for Java☆108Updated 2 years ago
- Automatic repair system for static analysis warnings from SonarQube's SonarJava, TDSC 2022 http://arxiv.org/pdf/2103.12033☆90Updated this week
- a concolic testing engine for Java☆102Updated 6 years ago
- Maven plugin to handle multi module projects for PiTest☆46Updated last year
- Examples on how to use the Spoon Java source code transformation library☆85Updated 2 years ago
- Automatically detect and generate missing assertions for Junit test cases (also known as test amplification)☆114Updated 3 months ago
- test driver to run JUnit tests isolated in a new JVM☆16Updated 2 weeks ago
- ☆41Updated this week
- VMVM: Unit Test Virtualization for Java☆25Updated 2 years ago
- Minimal Maven reusable one-stop shop library☆30Updated last week
- Generating tests from production workloads http://arxiv.org/pdf/2012.01198☆16Updated 3 weeks ago
- A tool to visualize API changes timeline of a Java library☆54Updated 3 years ago
- A code refactoring tool for java created with jgit and spoon for small diffs.☆18Updated this week
- Efficient Mutation Testing for Java☆38Updated 2 years ago
- Reproducible Central: rebuild instructions for artifacts published to (Maven) Central Repository☆105Updated this week
- Slicer4J is an accurate, low-overhead dynamic slicer for Java programs.☆39Updated 9 months ago
- FLACOCO: Fault Localization for Java based on Industry-grade Coverage http://arxiv.org/pdf/2111.12513☆29Updated this week
- Convert java 11 JFR to folded format for https://github.com/brendangregg/FlameGraph☆12Updated 5 years ago
- The reference implementation for the JSpecify nullness specification (and later, its other specifications as well)☆26Updated 2 months ago
- https://openjdk.org/projects/code-tools/jtreg☆56Updated this week
- Botsing is a Java framework for crash reproduction. It depends on EvoSuite (http://www.evosuite.org) for code instrumentation.☆32Updated last year
- A suite of tools for analyzing compiled Java code.☆43Updated this week
- fast and effective way to access and analyze java bytecode☆21Updated this week
- OpenRewrite recipes for patching Java security vulnerabilities.☆20Updated this week
- OpenRewrite recipes for identifying and fixing static analysis issues.☆32Updated this week