TestingResearchIllinois / NonDex
A tool for finding assumptions on APIs with under-determined specifications.
☆43Updated 2 weeks ago
Related projects ⓘ
Alternatives and complementary repositories for NonDex
- Software testing optimization tool☆27Updated 9 months ago
- Examples on how to use the Spoon Java source code transformation library☆85Updated 2 years ago
- Reproducible Central: rebuild instructions for artifacts published to (Maven) Central Repository☆103Updated this week
- Minimal Maven reusable one-stop shop library☆30Updated this week
- VMVM: Unit Test Virtualization for Java☆25Updated 2 years ago
- The DaCapo benchmark suite☆160Updated 2 weeks ago
- Polyglot Extensible Compiler Framework for Java☆107Updated 2 years ago
- Maven plugin to handle multi module projects for PiTest☆46Updated last year
- A SpotBugs/FindBugs plugin to verify usage of SLF4J☆75Updated last year
- https://openjdk.org/projects/shenandoah☆84Updated last year
- Automatically detect and generate missing assertions for Junit test cases (also known as test amplification)☆114Updated 3 months ago
- IntelliJ & Eclipse plugin for monitoring how Java applications are developed and tested☆19Updated 6 years ago
- Automatic repair system for static analysis warnings from SonarQube's SonarJava, TDSC 2022 http://arxiv.org/pdf/2103.12033☆90Updated last week
- An Error Prone plugin for SLF4J☆30Updated 2 weeks ago
- Automatic code rewriting for AssertJ using error-prone and refaster☆16Updated this week
- ☆41Updated this week
- Persistent Memory library for pure Java☆25Updated 11 months ago
- Travis based builder for JVMCI JDK8 binaries based on OpenJDK8☆26Updated 3 years ago
- Turn -XX:+TraceBytecodes output into a FlameGraph compatible stack format☆42Updated 5 months ago
- Documentation of available JFR-Events☆19Updated 2 years ago
- Java runtime dynamic tracing☆20Updated 3 years ago
- ☆29Updated 3 months ago
- Write sandboxed integration tests for Java annotation processors and plugins.☆13Updated last week
- a concolic testing engine for Java☆102Updated 6 years ago
- Java 8 parser☆22Updated last year
- ☆71Updated 7 years ago
- Botsing is a Java framework for crash reproduction. It depends on EvoSuite (http://www.evosuite.org) for code instrumentation.☆32Updated last year
- Tools for type annotations in Java☆38Updated last week
- This repository contains source code of OpenClover Core as well as its integrations: Clover-for-Ant, Clover-for-Eclipse and Clover-for-ID…☆63Updated 3 weeks ago
- HeapFragger: A heap fragmentation inducer☆58Updated 3 years ago