benjholla / ddminLinks
A generic Java implementation of Andreas Zeller's delta debugging algorithm
☆24Updated 9 years ago
Alternatives and similar repositories for ddmin
Users that are interested in ddmin are comparing it to the libraries listed below
Sorting:
- ☆14Updated 5 years ago
- Slicer4J is an accurate, low-overhead dynamic slicer for Java programs.☆47Updated last year
- A program slicer for Java, based on the system dependence graph (SDG).☆69Updated 3 weeks ago
- Dynamic detection of likely invariants☆237Updated this week
- A tool of collecting patch-related commits and parsing patches.☆13Updated 6 years ago
- Automated program repair bibliography, tools and benchmarks.☆83Updated 6 months ago
- ☆36Updated 5 months ago
- Program Vulnerability Repair via Inductive Inference☆20Updated last year
- Static program analysis for TIP☆305Updated 5 months ago
- Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…☆72Updated 11 months ago
- Hosts our tool for mining simple "stupid'' bugs (SStuBs).☆37Updated 3 years ago
- Checks the PDFs submitted to a conference, e.g., for formatting violations and double anonymous violations☆64Updated 3 years ago
- ☆26Updated 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
- WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models (OOPSLA 2024)☆75Updated 2 months ago
- Test-Case Prioritization for Configuration Testing☆16Updated 4 years ago
- ☆75Updated 7 years ago
- A framework for testing compilers' type checkers☆18Updated 11 months ago
- ☆18Updated last year
- A Tool for Mining Rich Abstract Syntax Trees from Code☆59Updated last week
- This repository the benchmark with 3902 defects extracted from C programs in Codeforces (http://codeforces.com/)☆44Updated 4 years ago
- Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.☆101Updated last year
- Keep your bugs contained. A platform for studying historical software bugs.☆69Updated 9 months ago
- ☆25Updated 5 years ago
- GZoltar - Java Library for Automatic Debugging http://www.gzoltar.com☆85Updated last year
- An empirical study on patch correctness☆15Updated 2 years ago
- Official repository for PraPR source code☆14Updated 4 years ago
- A learning-guided approach for executing arbitrary Python code snippets☆18Updated last year
- Replication package of a paper "Large Language Models are Few-shot Testers: Exploring LLM-based General Bug Reproduction"☆25Updated 2 years ago
- This is java implementation of Graspan.☆20Updated last year