Cover Image

ReFuzzer: Feedback-Driven Approach to Enhance Validity of LLM-Generated Test Programs

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Shree, Iti, Even-Mendoza, Karine, Radzik, Tomasz
Format:	Preprint
Published:	2025
Subjects:	Software Engineering Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

CodeContests-O: Powering LLMs via Feedback-Driven Iterative Test Case Generation
by: Cai, Jianfeng, et al.
Published: (2026)

Bootstrapping Fuzzers for Compilers of Low-Resource Language Dialects Using Language Models
by: Vaidya, Sairam, et al.
Published: (2025)

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

Testing the Unknown: A Framework for OpenMP Testing via Random Program Generation
by: Laguna, Ignacio, et al.
Published: (2024)

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

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

Enhancing Translation Validation of Compiler Transformations with Large Language Models
by: Wang, Yanzhao, et al.
Published: (2024)

Automated Test Data Generation for Enterprise Protobuf Systems: A Metaclass-Enhanced Statistical Approach
by: Du, Y.
Published: (2025)

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

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

ReSyn: A Generalized Recursive Regular Expression Synthesis Framework
by: Kim, Seongmin, et al.
Published: (2026)

Effective LLM-Driven Code Generation with Pythoness
by: Levin, Kyla H., et al.
Published: (2025)

Checkification: A Practical Approach for Testing Static Analysis Truths
by: Ferreiro, Daniela, et al.
Published: (2025)

DRReduce: Enhancing Syntax-Guided Program Reduction with Dependency Reconstruction
by: Feng, Qiong, et al.
Published: (2026)

Constant Optimization Driven Database System Testing
by: Zhang, Chi, et al.
Published: (2025)

PerfCodeGen: Improving Performance of LLM Generated Code with Execution Feedback
by: Peng, Yun, et al.
Published: (2024)

Ranking LLM-Generated Loop Invariants for Program Verification
by: Chakraborty, Saikat, et al.
Published: (2023)

Python Symbolic Execution with LLM-powered Code Generation
by: Wang, Wenhan, et al.
Published: (2024)

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

Minimalistic Terminal Editor for Julia Programming -- MinTEJ: A Friendly Approach for a Scientific Programmer
by: Bhattar, Poornachandratejasvi Laxman, et al.
Published: (2026)

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

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

Defusing Logic Bombs in Symbolic Execution with LLM-Generated Ghost Code
by: Bouras, Dimitrios Stamatios, et al.
Published: (2026)

Benchmarking LLM Code Generation for Audio Programming with Visual Dataflow Languages
by: Zhang, William, et al.
Published: (2024)

COBOLAssist: Analyzing and Fixing Compilation Errors for LLM-Powered COBOL Code Generation
by: Dau, Anh T. V., et al.
Published: (2026)

Validated Code Translation for Projects with External Libraries
by: Zhang, Hanliang, et al.
Published: (2026)

Dual-Language General-Purpose Self-Hosted Visual Language and new Textual Programming Language for Applications
by: Fayed, Mahmoud Samir
Published: (2025)

Enhancing Automated Loop Invariant Generation for Complex Programs with Large Language Models
by: Liu, Ruibang, et al.
Published: (2024)

Advancing Automated In-Isolation Validation in Repository-Level Code Translation
by: Ke, Kaiyao, et al.
Published: (2025)

ViScratch: Using Large Language Models and Gameplay Videos for Automated Feedback in Scratch
by: Si, Yuan, et al.
Published: (2025)

RePair: Automated Program Repair with Process-based Feedback
by: Zhao, Yuze, et al.
Published: (2024)

Programmable Property-Based Testing
by: Keles, Alperen, et al.
Published: (2026)

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

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

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

Scalable, Validated Code Translation of Entire Projects using Large Language Models
by: Zhang, Hanliang, et al.
Published: (2024)

Type-level Property Based Testing
by: Hansen, Thomas Ekström, et al.
Published: (2024)

OBsmith: LLM-Powered JavaScript Obfuscator Testing
by: Jiang, Shan, et al.
Published: (2025)

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