:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Feng, Haoyu, Zhang, Xin
Format:	Preprint
Published:	2025
Subjects:	Software Engineering
Online Access:	https://arxiv.org/abs/2509.22337
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Chasing Elusive Memory Bugs in GPU Programs
by: Ghosh, Anubhab, et al.
Published: (2026)

Pre-training by Predicting Program Dependencies for Vulnerability Analysis Tasks
by: Liu, Zhongxin, et al.
Published: (2024)

MACAA: Belief-Revision Multi-Agent Reasoning for Code Authorship Verification
by: Ye, Jingwei, et al.
Published: (2026)

Formal Analysis of Reachability, Infection and Propagation Conditions in Mutation Testing
by: Mirian-Hosseinabadi, Seyed-Hassan
Published: (2024)

SkillClone: Multi-Modal Clone Detection and Clone Propagation Analysis in the Agent Skill Ecosystem
by: Zhu, Jiaying, et al.
Published: (2026)

Voices from the Frontier: A Comprehensive Analysis of the OpenAI Developer Forum
by: Hou, Xinyi, et al.
Published: (2024)

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

C2RustXW: Program-Structure-Aware C-to-Rust Translation via Program Analysis and LLM
by: Yan, Yanyan, et al.
Published: (2026)

LLM App Store Analysis: A Vision and Roadmap
by: Zhao, Yanjie, et al.
Published: (2024)

Accelerating Patch Validation for Program Repair with Interception-Based Execution Scheduling
by: Xiao, Yuan-An, et al.
Published: (2023)

PALM: Synergizing Program Analysis and LLMs to Enhance Rust Unit Test Coverage
by: Chu, Bei, et al.
Published: (2025)

Towards an Accurate GPU Data Race Detector
by: Nayak, Ajay, et al.
Published: (2026)

Exploring the Evidence-Based SE Beliefs of Generative AI Tools
by: Brown, Chris, et al.
Published: (2024)

Parallel Program Analysis on Path Ranges
by: Haltermanna, Jan, et al.
Published: (2024)

Program Decomposition and Translation with Static Analysis
by: Ibrahimzada, Ali Reza
Published: (2024)

FlipFlop: A Static Analysis-based Energy Optimization Framework for GPU Kernels
by: Rajput, Saurabhsingh, et al.
Published: (2026)

Semantic-Enhanced Indirect Call Analysis with Large Language Models
by: Cheng, Baijun, et al.
Published: (2024)

Retrograde Program Analysis: A Practical Tutorial
by: Perisic, Aleksandar
Published: (2010)

Rethinking the Evaluation of Microservice RCA with a Fault Propagation-Aware Benchmark
by: Fang, Aoyang, et al.
Published: (2025)

Enchanting Program Specification Synthesis by Large Language Models using Static Analysis and Program Verification
by: Wen, Cheng, et al.
Published: (2024)

Enhancing LLM-based Specification Generation via Program Slicing and Logical Deletion
by: Chen, Zehan, et al.
Published: (2025)

Can LLMs Recover Program Semantics? A Systematic Evaluation with Symbolic Execution
by: Feng, Rong, et al.
Published: (2025)

Towards Practical and Useful Automated Program Repair for Debugging
by: Xin, Qi, et al.
Published: (2024)

Enhancing Semantic Understanding in Pointer Analysis using Large Language Models
by: Cheng, Baijun, et al.
Published: (2025)

Using Fourier Analysis and Mutant Clustering to Accelerate DNN Mutation Testing
by: Ghanbari, Ali, et al.
Published: (2025)

Qualitative Analysis of the Teacher and Student Roles in Pair Programming
by: Ververs, Linus, et al.
Published: (2025)

Robust Mutation Analysis of Quantum Programs Under Noise
by: Fortz, Sophie, et al.
Published: (2026)

KEENHash: Hashing Programs into Function-Aware Embeddings for Large-Scale Binary Code Similarity Analysis
by: Liu, Zhijie, et al.
Published: (2025)

Boosting Pointer Analysis With LLM-Enhanced Allocation Function Detection
by: Cheng, Baijun, et al.
Published: (2025)

Input Reduction Enhanced LLM-based Program Repair
by: Yang, Boyang, et al.
Published: (2025)

ThinkRepair: Self-Directed Automated Program Repair
by: Yin, Xin, et al.
Published: (2024)

Enhancing LLMs in Long Code Translation through Instrumentation and Program State Alignment
by: Xin-Ye, Li, et al.
Published: (2025)

Combining Static Analysis Techniques for Program Comprehension Using Slicito
by: Husák, Robert, et al.
Published: (2025)

Program Analysis Guided LLM Agent for Proof-of-Concept Generation
by: Desai, Achintya, et al.
Published: (2026)

Leveraging Mutation Analysis for LLM-based Repair of Quantum Programs
by: Yoshida, Chihiro, et al.
Published: (2026)

WaDec: Decompiling WebAssembly Using Large Language Model
by: She, Xinyu, et al.
Published: (2024)

Unsafe by Flow: Uncovering Bidirectional Data-Flow Risks in MCP Ecosystem
by: Hou, Xinyi, et al.
Published: (2026)

Adapting Installation Instructions in Rapidly Evolving Software Ecosystems
by: Gao, Haoyu, et al.
Published: (2023)

EFACT: an External Function Auto-Completion Tool to Strengthen Static Binary Lifting
by: Zhang, Yilei, et al.
Published: (2024)

GPT Store Mining and Analysis
by: Su, Dongxun, et al.
Published: (2024)