Buchumschlag

Validity-Preserving Delta Debugging via Generator Trace Reduction

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Ren, Luyao, Zhang, Xing, Hua, Ziyue, Jiang, Yanyan, He, Xiao, Xiong, Yingfei, Xie, Tao
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Software Engineering
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Effective Random Test Generation for Deep Learning Compilers
von: Ren, Luyao, et al.
Veröffentlicht: (2023)

Synthesizing File-Level Data for Unit Test Generation with Chain-of-Thoughts via Self-Debugging
von: Hua, Ziyue, et al.
Veröffentlicht: (2026)

Accelerating Delta Debugging through Probabilistic Monotonicity Assessment
von: Tao, Yonggang, et al.
Veröffentlicht: (2025)

Accelerating Patch Validation for Program Repair with Interception-Based Execution Scheduling
von: Xiao, Yuan-An, et al.
Veröffentlicht: (2023)

WDD: Weighted Delta Debugging
von: Zhou, Xintong, et al.
Veröffentlicht: (2024)

Toward a Better Understanding of Probabilistic Delta Debugging
von: Zhang, Mengxiao, et al.
Veröffentlicht: (2024)

Trustworthy Software Project Generation : a Case Study with an Interactive Theorem Prover
von: Fang, Jian, et al.
Veröffentlicht: (2026)

Reducing Cost of LLM Agents with Trajectory Reduction
von: Xiao, Yuan-An, et al.
Veröffentlicht: (2025)

SemOpt: LLM-Driven Code Optimization via Rule-Based Analysis
von: Zhao, Yuwei, et al.
Veröffentlicht: (2025)

Extending Delta Debugging Minimization for Spectrum-Based Fault Localization
von: Kapugama, Charaka Geethal
Veröffentlicht: (2026)

LLM-based Vulnerability Detection at Project Scale: An Empirical Study
von: Li, Fengjie, et al.
Veröffentlicht: (2026)

Revisit Self-Debugging with Self-Generated Tests for Code Generation
von: Chen, Xiancai, et al.
Veröffentlicht: (2025)

Input Reduction Enhanced LLM-based Program Repair
von: Yang, Boyang, et al.
Veröffentlicht: (2025)

A Learning Method for Symbolic Systems Using Large Language Models
von: Fang, Jian, et al.
Veröffentlicht: (2026)

AtPatch: Debugging Transformers via Hot-Fixing Over-Attention
von: Weng, Shihao, et al.
Veröffentlicht: (2026)

DebugRepair: Enhancing LLM-Based Automated Program Repair via Self-Directed Debugging
von: Wu, Linhao, et al.
Veröffentlicht: (2026)

TraceCoder: A Trace-Driven Multi-Agent Framework for Automated Debugging of LLM-Generated Code
von: Huang, Jiangping, et al.
Veröffentlicht: (2026)

Debugging Performance Issues in WebAssembly Runtimes via Mutation-based Inference
von: Zeng, Ruiying, et al.
Veröffentlicht: (2026)

DebugTA: An LLM-Based Agent for Simplifying Debugging and Teaching in Programming Education
von: Fu, Lingyue, et al.
Veröffentlicht: (2025)

DebugHarness: Emulating Human Dynamic Debugging for Autonomous Program Repair
von: Sun, Maolin, et al.
Veröffentlicht: (2026)

Analyzing and Debugging Normative Requirements via Satisfiability Checking
von: Feng, Nick, et al.
Veröffentlicht: (2024)

On Reasoning-Centric LLM-based Automated Theorem Proving
von: Sun, Yican, et al.
Veröffentlicht: (2026)

Simulated Interactive Debugging
von: Noller, Yannic, et al.
Veröffentlicht: (2025)

Debug Like a Human: Scaling LLM-based Fault Localization to Processor Design via Block-Level Instruction-Oriented Slicing
von: Liu, Zizhen, et al.
Veröffentlicht: (2026)

Reinforcement Learning with Negative Tests as Completeness Signal for Formal Specification Synthesis
von: Huang, Zhechong, et al.
Veröffentlicht: (2026)

PredicateFix: Repairing Static Analysis Alerts with Bridging Predicates
von: Xiao, Yuan-An, et al.
Veröffentlicht: (2025)

Timing Analysis Agent: Autonomous Multi-Corner Multi-Mode (MCMM) Timing Debugging with Timing Debug Relation Graph
von: Nainani, Jatin, et al.
Veröffentlicht: (2025)

ProDebug: An Automated Debugging System for Prolog
von: Brancas, Ricardo, et al.
Veröffentlicht: (2026)

GramTrans: A Better Code Representation Approach in Code Generation
von: Zhang, Zhao, et al.
Veröffentlicht: (2025)

Empowering Autonomous Debugging Agents with Efficient Dynamic Analysis
von: Xiang, Jiahong, et al.
Veröffentlicht: (2026)

Online and Interactive Bayesian Inference Debugging
von: Nussbaumer, Nathanael, et al.
Veröffentlicht: (2025)

Condor: A Code Discriminator Integrating General Semantics with Code Details
von: Liang, Qingyuan, et al.
Veröffentlicht: (2024)

Precise Debugging Benchmark: Is Your Model Debugging or Regenerating?
von: Zhu, Wang Bill, et al.
Veröffentlicht: (2026)

VeriDebug: A Unified LLM for Verilog Debugging via Contrastive Embedding and Guided Correction
von: Wang, Ning, et al.
Veröffentlicht: (2025)

Mutation Testing via Iterative Large Language Model-Driven Scientific Debugging
von: Straubinger, Philipp, et al.
Veröffentlicht: (2025)

DD-CAM: Minimal Sufficient Explanations for Vision Models Using Delta Debugging
von: Khadka, Krishna, et al.
Veröffentlicht: (2026)

The Debugging Decay Index: Rethinking Debugging Strategies for Code LLMs
von: Adnan, Muntasir, et al.
Veröffentlicht: (2025)

Debugging WebAssembly? Put some Whamm on it!
von: Gilbert, Elizabeth, et al.
Veröffentlicht: (2025)

Locating Buggy Segments in Quantum Program Debugging
von: Sato, Naoto, et al.
Veröffentlicht: (2023)

Learning to Debug: LLM-Organized Knowledge Trees for Solving RTL Assertion Failures
von: Bai, Yunsheng, et al.
Veröffentlicht: (2025)