A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars
Template Scripting Testing Language tool: automated test generation for Python
Hierarchical Delta Debugging Framework
Parallel Delta Debugging Framework
Software Papers as Software Modules: Towards a Culture of Reusable Results
GenPark AI Agent Skill - Automated program repair (APR) engine mutating Python ASTs, applying template-driven bug fixes, and validating candidate patches.
GenPark AI Agent Skill - Synthesizes property-based and counterfactual unit test inputs (fuzzing boundary values, null states, edge cases) to reproduce runtime tool bugs.
GenPark AI Agent Skill - Synthesizes property-based and counterfactual unit test inputs (fuzzing boundary values, null states, edge cases) to reproduce runtime tool bugs.
GenPark AI Agent Skill - Dynamically synthesizes and evaluates runtime assertions, pre/post-conditions, and state invariants to detect data corruption before crashes occur.
GenPark AI Agent Skill - Zeller's Delta Debugging (ddmin) algorithm minimizing failing code snippets, complex payloads, and config files to minimal reproducible examples (MRE).
GenPark AI Agent Skill - Dynamically synthesizes and evaluates runtime assertions, pre/post-conditions, and state invariants to detect data corruption before crashes occur.
GenPark AI Agent Skill - Automated program repair (APR) engine mutating Python ASTs, applying template-driven bug fixes, and validating candidate patches.
GenPark AI Agent Skill - Parses Python stack traces into structured traceback frames, calculates Tarantula/Ochiai line suspiciousness scores, and isolates root-cause bug locations.
GenPark AI Agent Skill - Zeller's Delta Debugging (ddmin) algorithm minimizing failing code snippets, complex payloads, and config files to minimal reproducible examples (MRE).
GenPark AI Agent Skill - Parses Python stack traces into structured traceback frames, calculates Tarantula/Ochiai line suspiciousness scores, and isolates root-cause bug locations.
Delta debugging (originally for JIT compilers)
Generalized Reduction of Tree-Structured Test-Inputs
ANTLR4 to Perses Normal Form converter for technique described in "Perses: Syntax-Guided Program Reduction"
Conformance testing, semantic diffing, and minimal reproducible failures for matching engines.
To associate your repository with the delta-debugging topic, visit your repo's landing page and select "manage topics."