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
- Tool for algorithmic complexity analysis based on symbolic execution☆10Updated 6 years ago
- Slicer4J is an accurate, low-overhead dynamic slicer for Java programs.☆39Updated 9 months ago
- Boomerang is a on-demand context and flow-sensitive pointer analysis for Java.☆23Updated 4 years ago
- A program slicer for Java, based on the system dependence graph (SDG).☆58Updated last year
- A stateless model checker powered by maximal causality reduction☆38Updated 4 years ago
- Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.☆97Updated last month
- IDE/AL - Alias-Aware Framework for Interprocedural Dataflow Analysis☆10Updated 6 years ago
- An inter-procedural data-flow analysis framework using value-based context sensitivity☆88Updated 5 months ago
- ☆25Updated this week
- A unification-based alias analysis and related tools☆30Updated last month
- Public-facing course info for program analysis materials.☆37Updated this week
- Dynamic detection of likely invariants☆214Updated last week
- Official repository for PraPR source code☆14Updated 3 years ago
- This is the repo for an incremental pointer analysis for Java programs. This repo has been adopted by WALA☆24Updated last year
- Enumerative Testing and Bounded Validation of SMT Solvers☆20Updated last month
- GZoltar - Java Library for Automatic Debugging http://www.gzoltar.com☆77Updated 3 months ago
- A tool of collecting patch-related commits and parsing patches.☆13Updated 5 years ago
- FLACOCO: Fault Localization for Java based on Industry-grade Coverage http://arxiv.org/pdf/2111.12513☆29Updated this week
- An empirical study on patch correctness☆15Updated 2 years ago
- Runtime verification system for Java, using AspectJ for instrumentation.☆45Updated last year
- Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…☆66Updated this week
- ☆12Updated 5 months ago
- Research material about software engineering at KTH☆18Updated 3 months ago
- The official repo of Doop, the declarative pointer analysis framework.☆164Updated this week
- Open-science repo for our experimental results of automatic software repair on the Defects4J benchmark of Java bugs☆34Updated 2 years ago
- This is java implementation of Graspan.☆20Updated 11 months ago
- A constraint solver abstraction layer for Java☆20Updated last year
- ☆51Updated this week
- Bugs.jar: A Large-scale, Diverse Dataset of Bugs for Java Program Repair☆51Updated 6 years ago
- A graph-based refactoring-aware three-way merging tool for Java programs.☆21Updated 3 years ago