Imagen de Portada

Isolating Compiler Bugs by Generating Effective Witness Programs with Large Language Models

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Tu, Haoxin, Zhou, Zhide, Jiang, He, Yusuf, Imam Nur Bani, Li, Yuxian, Jiang, Lingxiao
Formato:	Preprint
Publicado:	2023
Materias:	Software Engineering
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Your Instructions Are Not Always Helpful: Assessing the Efficacy of Instruction Fine-tuning for Software Vulnerability Detection
por: Yusuf, Imam Nur Bani, et al.
Publicado: (2024)

Transducer Tuning: Efficient Model Adaptation for Software Tasks Using Code Property Graphs
por: Yusuf, Imam Nur Bani, et al.
Publicado: (2024)

Cottontail: Large Language Model-Driven Concolic Execution for Highly Structured Test Input Generation
por: Tu, Haoxin, et al.
Publicado: (2025)

Improving Compiler Bug Isolation by Leveraging Large Language Models
por: Qi, Yixian, et al.
Publicado: (2025)

RustMap: Towards Project-Scale C-to-Rust Migration via Program Analysis and LLM
por: Cai, Xuemeng, et al.
Publicado: (2025)

Vital: Vulnerability-Oriented Symbolic Execution via Type-Unsafe Pointer-Guided Monte Carlo Tree Search
por: Tu, Haoxin, et al.
Publicado: (2024)

Isolating Compiler Bugs through Compilation Steps Analysis
por: Liu, Yujie, et al.
Publicado: (2025)

DESIL: Detecting Silent Bugs in MLIR Compiler Infrastructure
por: Suo, Chenyao, et al.
Publicado: (2025)

Code Review Agent Benchmark
por: Zhang, Yuntong, et al.
Publicado: (2026)

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

Adapting Knowledge Prompt Tuning for Enhanced Automated Program Repair
por: Cai, Xuemeng, et al.
Publicado: (2025)

Promise and Peril of Collaborative Code Generation Models: Balancing Effectiveness and Memorization
por: Chen, Zhi, et al.
Publicado: (2024)

Test Case Generation from Bug Reports via Large Language Models: A Cognitive Layered Evaluation Framework
por: Qureshi, Irtaza Sajid, et al.
Publicado: (2025)

A Deep Dive into Large Language Models for Automated Bug Localization and Repair
por: Hossain, Soneya Binta, et al.
Publicado: (2024)

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

Towards Understanding the Bugs in Solidity Compiler
por: Ma, Haoyang, et al.
Publicado: (2024)

Effective Random Test Generation for Deep Learning Compilers
por: Ren, Luyao, et al.
Publicado: (2023)

Bug Histories as Sources of Compiler Fuzzing Mutators
por: Liu, Lingjun, et al.
Publicado: (2025)

Understanding Typing-Related Bugs in Solidity Compiler
por: Li, Lantian, et al.
Publicado: (2025)

Understanding and Finding JIT Compiler Performance Bugs
por: Yi, Zijian, et al.
Publicado: (2026)

Evaluating the Effectiveness of Small Language Models in Detecting Refactoring Bugs
por: Gheyi, Rohit, et al.
Publicado: (2025)

Duplicate Bug Report Detection: How Far Are We?
por: Zhang, Ting, et al.
Publicado: (2022)

How Effective are Large Language Models in Generating Software Specifications?
por: Xie, Danning, et al.
Publicado: (2023)

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

Lemma Discovery in Agentic Program Verification
por: Zhao, Huan, et al.
Publicado: (2026)

Isolating Compiler Faults via Multiple Pairs of Adversarial Compilation Configurations
por: Li, Qingyang, et al.
Publicado: (2025)

LLPut: Investigating Large Language Models for Bug Report-Based Input Generation
por: Hasan, Alif Al, et al.
Publicado: (2025)

Seed&Steer: Guiding Large Language Models with Compilable Prefix and Branch Signals for Unit Test Generation
por: Zhou, Shuaiyu, et al.
Publicado: (2025)

Hybrid Automated Program Repair by Combining Large Language Models and Program Analysis
por: Li, Fengjie, et al.
Publicado: (2024)

Automata Models for Effective Bug Pattern Description
por: Yaacov, Tom, et al.
Publicado: (2025)

A Novel HDL Code Generator for Effectively Testing FPGA Logic Synthesis Compilers
por: Xu, Zhihao, et al.
Publicado: (2024)

HAFix: History-Augmented Large Language Models for Bug Fixing
por: Shi, Yu, et al.
Publicado: (2025)

Bugs in Large Language Models Generated Code: An Empirical Study
por: Tambon, Florian, et al.
Publicado: (2024)

Interleaving Large Language Models for Compiler Testing
por: Ni, Yunbo, et al.
Publicado: (2025)

ROCODE: Integrating Backtracking Mechanism and Program Analysis in Large Language Models for Code Generation
por: Jiang, Xue, et al.
Publicado: (2024)

Empirical Evaluation of Large Language Models in Automated Program Repair
por: Sun, Jiajun, et al.
Publicado: (2025)

Analyzing the Instability of Large Language Models in Automated Bug Injection and Correction
por: Er, Mehmet Bilal, et al.
Publicado: (2025)

Characterizing Real-World Bugs in Tile Programs for Automated Bug Detection
por: Rathnasuriya, Ravishka, et al.
Publicado: (2026)

Bridging Bug Localization and Issue Fixing: A Hierarchical Localization Framework Leveraging Large Language Models
por: Chang, Jianming, et al.
Publicado: (2025)

Agentic Bug Reproduction for Effective Automated Program Repair at Google
por: Cheng, Runxiang, et al.
Publicado: (2025)