:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Jia, Ang, Jiang, He, Ren, Zhilei, Li, Xiaochen, Yang, Zhipeng, Duan, Yaxin, Fan, Ming, Liu, Ting
Format:	Preprint
Published:	2025
Subjects:	Software Engineering
Online Access:	https://arxiv.org/abs/2506.19425
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

TIT: A Tree-Structured Instruction Tuning Approach for LLM-Based Code Translation
by: Jiang, He, et al.
Published: (2025)

Cross-Inlining Binary Function Similarity Detection
by: Jia, Ang, et al.
Published: (2024)

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

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

HintPilot: LLM-based Compiler Hint Synthesis for Code Optimization
by: Jiang, Hanyun, et al.
Published: (2026)

A Novel Interactive-Guided Differential Testing Approach for FPGA Simulation Debugger Tools
by: Guo, Shikai, et al.
Published: (2025)

The Devil Is in the Command Line: Associating the Compiler Flags With the Binary and Build Metadata
by: Kudrjavets, Gunnar, et al.
Published: (2023)

Isolating Compiler Bugs by Generating Effective Witness Programs with Large Language Models
by: Tu, Haoxin, et al.
Published: (2023)

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

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

Compiling Code LLMs into Lightweight Executables
by: Shi, Jieke, et al.
Published: (2026)

A Novel Mutation Based Method for Detecting FPGA Logic Synthesis Tool Bugs
by: Zhang, Yi, et al.
Published: (2025)

Go-Oracle: Automated Test Oracle for Go Concurrency Bugs
by: Tsimpourlas, Foivos, et al.
Published: (2024)

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

PEACE: Towards Efficient Project-Level Efficiency Optimization via Hybrid Code Editing
by: Ren, Xiaoxue, et al.
Published: (2025)

Towards Automatic Generation of Amplified Regression Test Oracles
by: Duque-Torres, Alejandra, et al.
Published: (2023)

Solsmith: Solidity Random Program Generator for Compiler Testing
by: Li, Lantian, et al.
Published: (2025)

Bridging Solidity Evolution Gaps: An LLM-Enhanced Approach for Smart Contract Compilation Error Resolution
by: Ye, Likai, et al.
Published: (2025)

Test Oracle Automation in the era of LLMs
by: Molina, Facundo, et al.
Published: (2024)

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

SmartOracle -- An Agentic Approach to Mitigate Noise in Differential Oracles
by: Srinivasan, Srinath, et al.
Published: (2026)

Foundation Models as Oracles for Refactoring Correctness Detection
by: Gheyi, Rohit, et al.
Published: (2026)

BinaryAI: Binary Software Composition Analysis via Intelligent Binary Source Code Matching
by: Jiang, Ling, et al.
Published: (2024)

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

Towards Open Federated Learning Platforms: Survey and Vision from Technical and Legal Perspectives
by: Duan, Moming, et al.
Published: (2023)

CompileAgent: Automated Real-World Repo-Level Compilation with Tool-Integrated LLM-based Agent System
by: Hu, Li, et al.
Published: (2025)

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

TOGLL: Correct and Strong Test Oracle Generation with LLMs
by: Hossain, Soneya Binta, et al.
Published: (2024)

AugmenTest: Enhancing Tests with LLM-Driven Oracles
by: Khandaker, Shaker Mahmud, et al.
Published: (2025)

State Field Coverage: A Metric for Oracle Quality
by: Molina, Facundo, et al.
Published: (2025)

SATORI: Static Test Oracle Generation for REST APIs
by: Alonso, Juan C., et al.
Published: (2025)

Detecting State Manipulation Vulnerabilities in Smart Contracts Using LLM and Static Analysis
by: Wu, Hao, et al.
Published: (2025)

RPHunter: Unveiling Rug Pull Schemes in Crypto Token via Code-and-Transaction Fusion Analysis
by: Wu, Hao, et al.
Published: (2025)

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

GroupTuner: Efficient Group-Aware Compiler Auto-Tuning
by: Gao, Bingyu, et al.
Published: (2025)

E2E-REME: Towards End-to-End Microservices Auto-Remediation via Experience-Simulation Reinforcement Fine-Tuning
by: Zhang, Lingzhe, et al.
Published: (2026)

Mut4All: Fuzzing Compilers via LLM-Synthesized Mutators Learned from Bug Reports
by: Wang, Bo, et al.
Published: (2025)

SmartOracle: Generating Smart Contract Oracle via Fine-Grained Invariant Detection
by: Su, Jianzhong, et al.
Published: (2024)

WebTestPilot: Agentic End-to-End Web Testing against Natural Language Specification by Inferring Oracles with Symbolized GUI Elements
by: Teoh, Xiwen, et al.
Published: (2026)

Automated Discovery of Test Oracles for Database Management Systems Using LLMs
by: Mang, Qiuyang, et al.
Published: (2025)