Abstract:Delta debugging provides an efficient and systematic approach to isolate and identify a minimal subsequence that exhibit a specific property. A notable trend in the development of delta debugging is to address data with domain-specific structures, such as programs. However, the efficiency and effectiveness of domain-specific delta debugging algorithms still present challenges. Probabilistic delta debugging (ProbDD) enhances the ddmin algorithm, which forms the foundation of most domain-specific delta debugging approaches, by incorporating a probabilistic model. By replacing the ddmin component with ProbDD, algorithms relying on ddmin can achieve superior performance. Meanwhile, domain-specific delta debugging techniques, such as Perses, have been designed to cater to the abstract syntax tree (AST) and follow predefined sequences of attempts to minimize programs. These techniques benefit from the use of AST-based transformations, enabling them to achieve even smaller results efficiently. However, we observe that ProbDD assumes independence between elements, which may limit their performance in capturing syntactic relationships. Additionally, domain-specific approaches such as Perses rely on a predefined sequence of attempts the removal of the element and fail to utilize the information from existing test results.In this paper, we propose T-PDD, a novel approach that addresses these limitations. T-PDD leverages the AST to construct a probabilistic model, both utilizing historical test results and capturing syntactic relationships to estimate the probabilities of elements being retained in the result. It selects a set of elements that maximizes the gain for the next test based on the model and updates the model using the test results.In our evaluation, we assess our approach on 107 real-world subjects. The results demonstrate an average improvement of 26.95% in processing time and a 3.4x reduction in result size compared to Perses in the best-case scenario.

A Delta Debugger for ILP Query Execution

Design and Implementation of Source-Level Debugger Based on Emulator

MIP-DD: A Delta Debugger for Mixed Integer Programming Solvers

Trace-based Debugging for Advanced-Dispatching Programming Languages

LDB: A Large Language Model Debugger via Verifying Runtime Execution Step-by-step

A Probabilistic Delta Debugging Approach for Abstract Syntax Trees

Jdebug: A Fast, Non-intrusive and Scalable Fault Locating Tool for Ten-Million-Scale Parallel Applications

Design and Implementation of a Tracer Driver: Easy and Efficient Dynamic Analyses of Constraint Logic Programs

Debugging Functional Programs by Interpretation

Evaluation of the fixed‐point iteration of minimizing delta debugging

Debugging with Intelligence Via Probabilistic Inference

HT-HEDL: High-Throughput Hypothesis Evaluation in Description Logic

Instruct, Not Assist: LLM-based Multi-Turn Planning and Hierarchical Questioning for Socratic Code Debugging

Improving the efficiency of inductive logic programming systems

Evaluating the Effectiveness of Size-Limited Execution Trace with Near-Omniscient Debugging

RGD: Multi-LLM Based Agent Debugger via Refinement and Generation Guidance

ChatDBG: An AI-Powered Debugging Assistant

ILP Modulo Data

Towards Safe Automated Refactoring of Imperative Deep Learning Programs to Graph Execution

How to Teach Programming in the AI Era? Using LLMs as a Teachable Agent for Debugging

The Visual Debugger Tool