:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Su, Bowei, Ye, Mingxi, Na, Yuhong, Zheng, Peilin, Zheng, Zibin
Format:	Preprint
Published:	2026
Subjects:	Software Engineering
Online Access:	https://arxiv.org/abs/2605.09051
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

SmartReco: Detecting Read-Only Reentrancy via Fine-Grained Cross-DApp Analysis
by: Zhang, Jingwen, et al.
Published: (2024)

SmartState: Detecting State-Reverting Vulnerabilities in Smart Contracts via Fine-Grained State-Dependency Analysis
by: Liao, Zeqin, et al.
Published: (2024)

ChainFuzzer: Greybox Fuzzing for Workflow-Level Multi-Tool Vulnerabilities in LLM Agents
by: Wu, Jiangrong, et al.
Published: (2026)

SmartAxe: Detecting Cross-Chain Vulnerabilities in Bridge Smart Contracts via Fine-Grained Static Analysis
by: Liao, Zeqin, et al.
Published: (2024)

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

Fuzzing MLIR Compilers with Custom Mutation Synthesis
by: Limpanukorn, Ben, et al.
Published: (2024)

DAppSCAN: Building Large-Scale Datasets for Smart Contract Weaknesses in DApp Projects
by: Zheng, Zibin, et al.
Published: (2023)

Is My RPC Response Reliable? Detecting RPC Bugs in Ethereum Blockchain Client under Context
by: Zhong, Zhijie, et al.
Published: (2026)

V2E: Validating Smart Contract Vulnerabilities through Profit-driven Exploit Generation and Execution
by: Zhang, Jingwen, et al.
Published: (2026)

A Survey of Large Language Models for Code: Evolution, Benchmarking, and Future Trends
by: Zheng, Zibin, et al.
Published: (2023)

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

Evolutionary Generative Fuzzing for Differential Testing of the Kotlin Compiler
by: Georgescu, Calin, et al.
Published: (2024)

Augmenting Smart Contract Decompiler Output through Fine-grained Dependency Analysis and LLM-facilitated Semantic Recovery
by: Liao, Zeqin, et al.
Published: (2025)

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

CONNECTOR: Enhancing the Traceability of Decentralized Bridge Applications via Automatic Cross-chain Transaction Association
by: Lin, Dan, et al.
Published: (2024)

Unity is Strength: Enhancing Precision in Reentrancy Vulnerability Detection of Smart Contract Analysis Tools
by: Wang, Zexu, et al.
Published: (2024)

Mono2Sls: Automated Monolith-to-Serverless Migration via Multi-Stage Pipeline with Static Analysis
by: Chen, Xingyan, et al.
Published: (2026)

A Hierarchical and Evolvable Benchmark for Fine-Grained Code Instruction Following with Multi-Turn Feedback
by: Duan, Guoliang, et al.
Published: (2025)

Hyperion: Unveiling DApp Inconsistencies using LLM and Dataflow-Guided Symbolic Execution
by: Yang, Shuo, et al.
Published: (2024)

MOTIF: A tool for Mutation Testing with Fuzzing
by: Lee, Jaekwon, et al.
Published: (2024)

Metronome: Differentiated Delay Scheduling for Serverless Functions
by: Chen, Zhuangbin, et al.
Published: (2025)

AgentRaft: Automated Detection of Data Over-Exposure in LLM Agents
by: Lin, Yixi, et al.
Published: (2026)

Data-driven Test Generation for Fuzzing AI Compiler
by: Shen, Qingchao
Published: (2026)

Tracezip: Efficient Distributed Tracing via Trace Compression
by: Chen, Zhuangbin, et al.
Published: (2025)

Beyond Functional Correctness: Investigating Coding Style Inconsistencies in Large Language Models
by: Wang, Yanlin, et al.
Published: (2024)

ROSA: Finding Backdoors with Fuzzing
by: Kokkonis, Dimitri, et al.
Published: (2025)

Satellite: Detecting and Analyzing Smart Contract Vulnerabilities caused by Subcontract Misuse
by: Liao, Zeqin, et al.
Published: (2025)

CelerLog: Fast Log Parsing via Dynamic Routing
by: Shan, Shiwen, et al.
Published: (2026)

Structural Mutation Based Differential Testing for FPGA Logic Synthesis Compilers
by: Xu, Zhihao, et al.
Published: (2025)

Risk Estimation in Differential Fuzzing via Extreme Value Theory
by: Baez, Rafael, et al.
Published: (2025)

TENSURE: Fuzzing Sparse Tensor Compilers (Registered Report)
by: Mahathevan, Kabilan, et al.
Published: (2026)

GraphFuzz: Automated Testing of Graph Algorithm Implementations with Differential Fuzzing and Lightweight Feedback
by: Yan, Wenqi, et al.
Published: (2025)

An Empirical Study of ChatGPT-Related Projects and Their Issues on GitHub
by: Lin, Zheng, et al.
Published: (2024)

Fuzzing-based Mutation Testing of C/C++ Software in Cyber-Physical Systems
by: Lee, Jaekwon, et al.
Published: (2025)

Peeling Off the Cocoon: Unveiling Suppressed Golden Seeds for Mutational Greybox Fuzzing
by: Qian, Ruixiang, et al.
Published: (2026)

An Empirical Study on Embodied Artificial Intelligence Robot (EAIR) Software Bugs
by: Liao, Zeqin, et al.
Published: (2025)

Fuzzing Automatic Differentiation in Deep-Learning Libraries
by: Yang, Chenyuan, et al.
Published: (2023)

ClozeMaster: Fuzzing Rust Compiler by Harnessing LLMs for Infilling Masked Real Programs
by: Gao, Hongyan, et al.
Published: (2026)

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

LogFold: Compressing Logs with Structured Tokens and Hybrid Encoding
by: Shan, Shiwen, et al.
Published: (2026)