:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Wang, Lianjing, Zhang, Yufeng, Li, Kenli, Chen, Zhenbang, Zhou, Xu, Wang, Pengfei, Song, Guangning, Wang, Ji
Format:	Preprint
Published:	2026
Subjects:	Software Engineering
Online Access:	https://arxiv.org/abs/2601.10068
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

PathFuzzing: Worst Case Analysis by Fuzzing Symbolic-Execution Paths
by: Chen, Zimu, et al.
Published: (2025)

MobFuzz: Adaptive Multi-objective Optimization in Gray-box Fuzzing
by: Zhang, Gen, et al.
Published: (2024)

DeepGo: Predictive Directed Greybox Fuzzing
by: Lin, Peihong, et al.
Published: (2025)

NeuroSCA: Neuro-Symbolic Constraint Abstraction for Smart Contract Hybrid Fuzzing
by: Liang, Haochen, et al.
Published: (2026)

FuzzAug: Data Augmentation by Coverage-guided Fuzzing for Neural Test Generation
by: He, Yifeng, et al.
Published: (2024)

Efficient Symbolic Execution of Software under Fault Attacks
by: Fang, Yuzhou, et al.
Published: (2025)

Integrating Symbolic Execution with LLMs for Automated Generation of Program Specifications
by: Yang, Fanpeng, et al.
Published: (2025)

Interleaved Learning and Exploration: A Self-Adaptive Fuzz Testing Framework for MLIR
by: Sun, Zeyu, et al.
Published: (2025)

TransferFuzz: Fuzzing with Historical Trace for Verifying Propagated Vulnerability Code
by: Li, Siyuan, et al.
Published: (2024)

Can Large Language Models Solve Path Constraints in Symbolic Execution?
by: Wang, Wenhan, et al.
Published: (2025)

INSTILLER: Towards Efficient and Realistic RTL Fuzzing
by: Zhang, Gen, et al.
Published: (2024)

HF-DGF: Hybrid Feedback Guided Directed Grey-box Fuzzing
by: Lyu, Guangfa, et al.
Published: (2025)

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

SEPE-SQED: Symbolic Quick Error Detection by Semantically Equivalent Program Execution
by: Li, Yufeng, et al.
Published: (2024)

FLARE: Agentic Coverage-Guided Fuzzing for LLM-Based Multi-Agent Systems
by: Hui, Mingxuan, et al.
Published: (2026)

SimADFuzz: Simulation-Feedback Fuzz Testing for Autonomous Driving Systems
by: Yang, Huiwen, et al.
Published: (2024)

BASFuzz: Towards Robustness Evaluation of LLM-based NLP Software via Automated Fuzz Testing
by: Xiao, Mingxuan, et al.
Published: (2025)

Selecting Initial Seeds for Better JVM Fuzzing
by: Gao, Tianchang, et al.
Published: (2024)

Quality-Assured Fuzz Harness Generation via the Four Principles Framework
by: Sheng, Ze, et al.
Published: (2026)

PatchFuzz: Patch Fuzzing for JavaScript Engines
by: Wang, Junjie, et al.
Published: (2025)

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

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

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

NumScout: Unveiling Numerical Defects in Smart Contracts using LLM-Pruning Symbolic Execution
by: Chen, Jiachi, et al.
Published: (2025)

Test Wars: A Comparative Study of SBST, Symbolic Execution, and LLM-Based Approaches to Unit Test Generation
by: Abdullin, Azat, et al.
Published: (2025)

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

Context-Aware Fuzzing for Robustness Enhancement of Deep Learning Models
by: Wang, Haipeng, et al.
Published: (2024)

SeeWasm: An Efficient and Fully-Functional Symbolic Execution Engine for WebAssembly Binaries
by: He, Ningyu, et al.
Published: (2024)

Scaling Mobile Chaos Testing with AI-Driven Test Execution
by: Marcano, Juan, et al.
Published: (2026)

Enhancing Fuzz Testing Efficiency through Automated Fuzz Target Generation
by: Tran, Chi Thien
Published: (2026)

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

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

Learning-Guided Fuzzing for Testing Stateful SDN Controllers
by: Ollando, Raphaël, et al.
Published: (2024)

Testing Storage-System Correctness: Challenges, Fuzzing Limitations, and AI-Augmented Opportunities
by: Wang, Ying, et al.
Published: (2026)

Scaling Symbolic Execution to Large Software Systems
by: Horvath, Gabor, et al.
Published: (2024)

ORFuzz: Fuzzing the "Other Side" of LLM Safety -- Testing Over-Refusal
by: Zhang, Haonan, et al.
Published: (2025)

ISC4DGF: Enhancing Directed Grey-box Fuzzing with LLM-Driven Initial Seed Corpus Generation
by: Xu, Yijiang, et al.
Published: (2024)

Failure-Guided Fuzzing for Hybrid Quantum-Classical Programs
by: Zhang, Lei
Published: (2026)

Prompt Fuzzing for Fuzz Driver Generation
by: Lyu, Yunlong, et al.
Published: (2023)

ZTaint-Havoc: From Havoc Mode to Zero-Execution Fuzzing-Driven Taint Inference
by: Xie, Yuchong, et al.
Published: (2025)