benjholla / ddmin
A generic Java implementation of Andreas Zeller's delta debugging algorithm
☆24Updated 8 years ago
Related projects ⓘ
Alternatives and complementary repositories for ddmin
- Boomerang is a on-demand context and flow-sensitive pointer analysis for Java.☆23Updated 4 years ago
- Tool for algorithmic complexity analysis based on symbolic execution☆10Updated 6 years ago
- Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…☆66Updated this week
- ☆25Updated this week
- Public-facing course info for program analysis materials.☆37Updated this week
- COM S 413/513 and CPR E 513 Program Analysis @ Iowa State University☆29Updated last year
- ☆71Updated 7 years ago
- ☆51Updated this week
- A stateless model checker powered by maximal causality reduction☆38Updated 4 years ago
- An inter-procedural data-flow analysis framework using value-based context sensitivity☆88Updated 5 months ago
- Slicer4J is an accurate, low-overhead dynamic slicer for Java programs.☆39Updated 8 months ago
- Dynamic detection of likely invariants☆214Updated last month
- An abstract-interpretation based static analyzer written in Scala.☆33Updated 2 years ago
- ☆13Updated 3 months ago
- Main distribution of Petablox☆36Updated 6 years ago
- Program Vulnerability Repair via Inductive Inference☆18Updated 10 months ago
- MagpieBridge LSP Framework --- A simple solution for your analysis IDE integration☆79Updated last month
- A framework for testing compilers' type checkers☆50Updated 3 months ago
- A unification-based alias analysis and related tools☆29Updated last month
- FLACOCO: Fault Localization for Java based on Industry-grade Coverage http://arxiv.org/pdf/2111.12513☆29Updated last week
- A program slicer for Java, based on the system dependence graph (SDG).☆55Updated last year
- A tool of collecting patch-related commits and parsing patches.☆13Updated 5 years ago
- GZoltar - Java Library for Automatic Debugging http://www.gzoltar.com☆77Updated 2 months ago
- Static program analysis for TIP☆282Updated last year
- Runtime verification system for Java, using AspectJ for instrumentation.☆45Updated last year
- GenProg: heuristic, GP-based automatic program repair for C.☆92Updated 3 years ago
- This is java implementation of Graspan.☆20Updated 10 months ago
- Symbolic PathFinder☆130Updated last month
- Bugs.jar: A Large-scale, Diverse Dataset of Bugs for Java Program Repair☆51Updated 6 years ago
- ☆31Updated 3 weeks ago