Cover Image

DRReduce: Enhancing Syntax-Guided Program Reduction with Dependency Reconstruction

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Feng, Qiong, Ma, Xiaotian, Tian, Yongqiang, Song, Wei, Liang, Peng
Format:	Preprint
Published:	2026
Subjects:	Software Engineering Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Finding Compiler Bugs through Cross-Language Code Generator and Differential Testing
by: Feng, Qiong, et al.
Published: (2025)

LPR: Large Language Models-Aided Program Reduction
by: Zhang, Mengxiao, et al.
Published: (2023)

Depends-Kotlin: A Cross-Language Kotlin Dependency Extractor
by: Feng, Qiong, et al.
Published: (2024)

Cross-Language Dependencies: An Empirical Study of Kotlin-Java
by: Feng, Qiong, et al.
Published: (2024)

Revisiting Code Similarity Evaluation with Abstract Syntax Tree Edit Distance
by: Song, Yewei, et al.
Published: (2024)

BugLens: Leveraging Bisection for Lightweight Compiler Bug Deduplication
by: Zhou, Xintong, et al.
Published: (2025)

LLM-Guided Compositional Program Synthesis
by: Khan, Ruhma, et al.
Published: (2025)

LPO: Discovering Missed Peephole Optimizations with Large Language Models
by: Xu, Zhenyang, et al.
Published: (2025)

WDD: Weighted Delta Debugging
by: Zhou, Xintong, et al.
Published: (2024)

Execution-Aware Program Reduction for WebAssembly via Record and Replay
by: Baek, Doehyun, et al.
Published: (2025)

Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs
by: Wu, Valentina, et al.
Published: (2025)

Integrating Various Software Artifacts for Better LLM-based Bug Localization and Program Repair
by: Feng, Qiong, et al.
Published: (2024)

Strengthening Programming Comprehension in Large Language Models through Code Generation
by: Ren, Xiaoning, et al.
Published: (2025)

ReFuzzer: Feedback-Driven Approach to Enhance Validity of LLM-Generated Test Programs
by: Shree, Iti, et al.
Published: (2025)

Parsimonious Optimal Dynamic Partial Order Reduction
by: Abdulla, Parosh Aziz, et al.
Published: (2024)

Solving Package Management via Hypergraph Dependency Resolution
by: Gibb, Ryan, et al.
Published: (2025)

QCP: A Practical Separation Logic-based C Program Verification Tool
by: Wu, Xiwei, et al.
Published: (2025)

C*: Unifying Programming and Verification in C
by: Cao, Yiyuan, et al.
Published: (2025)

Concept-Based Generic Programming in C++
by: Stroustrup, Bjarne
Published: (2025)

An Incremental Algorithm for Algebraic Program Analysis
by: Zhou, Chenyu, et al.
Published: (2024)

Program Structure Aware Precondition Generation
by: Dinella, Elizabeth, et al.
Published: (2023)

Challenges of Multilingual Program Specification and Analysis
by: Furia, Carlo A., et al.
Published: (2024)

Package Managers à la Carte: A Formal Model of Dependency Resolution
by: Gibb, Ryan, et al.
Published: (2026)

Towards Analyzing N-language Polyglot Programs
by: Prakash, Jyoti, et al.
Published: (2026)

Conceptual Mutation Testing for Student Programming Misconceptions
by: Prasad, Siddhartha, et al.
Published: (2023)

On Repairing Quantum Programs Using ChatGPT
by: Guo, Xiaoyu, et al.
Published: (2024)

Inferring Non-Failure Conditions for Declarative Programs
by: Hanus, Michael
Published: (2024)

NESA: Relational Neuro-Symbolic Static Program Analysis
by: Wang, Chengpeng, et al.
Published: (2024)

Enabling Memory Safety of C Programs using LLMs
by: Mohammed, Nausheen, et al.
Published: (2024)

Validating Traces of Distributed Programs Against TLA+ Specifications
by: Cirstea, Horatiu, et al.
Published: (2024)

Stdlib or Third-Party? Empirical Performance and Correctness of LLM-Assisted Zero-Dependency Python Libraries
by: Ding, Peng, et al.
Published: (2026)

A Core Calculus for Type-safe Product Lines of C Programs
by: Damiani, Ferruccio, et al.
Published: (2026)

Toward Programming Languages for Reasoning: Humans, Symbolic Systems, and AI Agents
by: Marron, Mark
Published: (2024)

Compilation Quotient (CQ): A Metric for the Compilation Hardness of Programming Languages
by: Szabo, Violet, et al.
Published: (2024)

JustinANN: Realistic Test Generation for Java Programs Driven by Annotations
by: Cui, Baoquan, et al.
Published: (2025)

Software Model Checking via Summary-Guided Search (Extended Version)
by: Fang, Ruijie, et al.
Published: (2025)

Learning to Guarantee Type Correctness in Code Generation through Type-Guided Program Synthesis
by: Huang, Zhechong, et al.
Published: (2025)

MLIR-Smith: A Novel Random Program Generator for Evaluating Compiler Pipelines
by: Ates, Berke, et al.
Published: (2026)

PPM: Automated Generation of Diverse Programming Problems for Benchmarking Code Generation Models
by: Chen, Simin, et al.
Published: (2024)

What Challenges Do Developers Face When Using Verification-Aware Programming Languages?
by: Oliveira, Francisco, et al.
Published: (2025)