benjholla / ddminLinks
A generic Java implementation of Andreas Zeller's delta debugging algorithm
☆24Updated 8 years ago
Alternatives and similar repositories for ddmin
Users that are interested in ddmin are comparing it to the libraries listed below
Sorting:
- ☆26Updated this week
- Static program analysis for TIP☆295Updated 2 months ago
- Slicer4J is an accurate, low-overhead dynamic slicer for Java programs.☆45Updated last year
- Dynamic detection of likely invariants☆228Updated 3 weeks ago
- Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…☆72Updated 7 months ago
- Official repository for PraPR source code☆14Updated 4 years ago
- A tool for mining commits from Git repositories and diffs to automatically extract code change pattern instances and features with ast a…☆99Updated 8 months ago
- Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.☆100Updated 9 months ago
- Computes the AST difference (aka edit script) between two Spoon Java source code abstract syntax trees☆167Updated last week
- An inter-procedural data-flow analysis framework using value-based context sensitivity☆91Updated last year
- A dynamic symbolic analysis tool for Java☆120Updated 6 years ago
- GenProg: heuristic, GP-based automatic program repair for C.☆96Updated 3 years ago
- A program slicer for Java, based on the system dependence graph (SDG).☆67Updated 2 years ago
- Enumerative Testing and Bounded Validation of SMT Solvers☆22Updated 2 weeks ago
- This repository the benchmark with 3902 defects extracted from C programs in Codeforces (http://codeforces.com/)☆43Updated 4 years ago
- ☆14Updated 4 years ago
- This is the repo for an incremental pointer analysis for Java programs. This repo has been adopted by WALA☆25Updated 2 years ago
- Tool for algorithmic complexity analysis based on symbolic execution☆10Updated 6 years ago
- Open-science repo for our experimental results of automatic software repair on the Defects4J benchmark of Java bugs☆35Updated 3 years ago
- a concolic testing engine for Java☆106Updated 7 years ago
- A tool of collecting patch-related commits and parsing patches.☆13Updated 6 years ago
- Runtime verification system for Java, using AspectJ for instrumentation.☆48Updated 2 years ago
- A tool for identifying patch correctness in test-based program repair☆19Updated 5 years ago
- Symbolic PathFinder☆153Updated last week
- Main distribution of Petablox☆35Updated 7 years ago
- ☆26Updated 4 years ago
- Goal-directed static analysis tool for JVM languages.☆58Updated 9 years ago
- GZoltar - Java Library for Automatic Debugging http://www.gzoltar.com☆81Updated 10 months ago
- This project provides several implementations for commit untangling and proposes a new representation of git patches by projecting the pa…☆11Updated last month
- Test-Case Prioritization for Configuration Testing☆16Updated 3 years ago