:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Wang, Lianjing, Zhang, Yufeng, Li, Kenli, Chen, Zhenbang, Zhou, Xu, Wang, Pengfei, Song, Guangning, Wang, Ji
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Software Engineering
Online-Zugang:	https://arxiv.org/abs/2601.10068
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

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

MobFuzz: Adaptive Multi-objective Optimization in Gray-box Fuzzing
von: Zhang, Gen, et al.
Veröffentlicht: (2024)

DeepGo: Predictive Directed Greybox Fuzzing
von: Lin, Peihong, et al.
Veröffentlicht: (2025)

NeuroSCA: Neuro-Symbolic Constraint Abstraction for Smart Contract Hybrid Fuzzing
von: Liang, Haochen, et al.
Veröffentlicht: (2026)

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

Efficient Symbolic Execution of Software under Fault Attacks
von: Fang, Yuzhou, et al.
Veröffentlicht: (2025)

Integrating Symbolic Execution with LLMs for Automated Generation of Program Specifications
von: Yang, Fanpeng, et al.
Veröffentlicht: (2025)

Interleaved Learning and Exploration: A Self-Adaptive Fuzz Testing Framework for MLIR
von: Sun, Zeyu, et al.
Veröffentlicht: (2025)

TransferFuzz: Fuzzing with Historical Trace for Verifying Propagated Vulnerability Code
von: Li, Siyuan, et al.
Veröffentlicht: (2024)

Can Large Language Models Solve Path Constraints in Symbolic Execution?
von: Wang, Wenhan, et al.
Veröffentlicht: (2025)

INSTILLER: Towards Efficient and Realistic RTL Fuzzing
von: Zhang, Gen, et al.
Veröffentlicht: (2024)

HF-DGF: Hybrid Feedback Guided Directed Grey-box Fuzzing
von: Lyu, Guangfa, et al.
Veröffentlicht: (2025)

Python Symbolic Execution with LLM-powered Code Generation
von: Wang, Wenhan, et al.
Veröffentlicht: (2024)

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

FLARE: Agentic Coverage-Guided Fuzzing for LLM-Based Multi-Agent Systems
von: Hui, Mingxuan, et al.
Veröffentlicht: (2026)

SimADFuzz: Simulation-Feedback Fuzz Testing for Autonomous Driving Systems
von: Yang, Huiwen, et al.
Veröffentlicht: (2024)

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

Selecting Initial Seeds for Better JVM Fuzzing
von: Gao, Tianchang, et al.
Veröffentlicht: (2024)

Quality-Assured Fuzz Harness Generation via the Four Principles Framework
von: Sheng, Ze, et al.
Veröffentlicht: (2026)

PatchFuzz: Patch Fuzzing for JavaScript Engines
von: Wang, Junjie, et al.
Veröffentlicht: (2025)

Hyperion: Unveiling DApp Inconsistencies using LLM and Dataflow-Guided Symbolic Execution
von: Yang, Shuo, et al.
Veröffentlicht: (2024)

GraphFuzz: Automated Testing of Graph Algorithm Implementations with Differential Fuzzing and Lightweight Feedback
von: Yan, Wenqi, et al.
Veröffentlicht: (2025)

Fuzzing MLIR Compilers with Custom Mutation Synthesis
von: Limpanukorn, Ben, et al.
Veröffentlicht: (2024)

NumScout: Unveiling Numerical Defects in Smart Contracts using LLM-Pruning Symbolic Execution
von: Chen, Jiachi, et al.
Veröffentlicht: (2025)

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

MOTIF: A tool for Mutation Testing with Fuzzing
von: Lee, Jaekwon, et al.
Veröffentlicht: (2024)

Context-Aware Fuzzing for Robustness Enhancement of Deep Learning Models
von: Wang, Haipeng, et al.
Veröffentlicht: (2024)

SeeWasm: An Efficient and Fully-Functional Symbolic Execution Engine for WebAssembly Binaries
von: He, Ningyu, et al.
Veröffentlicht: (2024)

Scaling Mobile Chaos Testing with AI-Driven Test Execution
von: Marcano, Juan, et al.
Veröffentlicht: (2026)

Enhancing Fuzz Testing Efficiency through Automated Fuzz Target Generation
von: Tran, Chi Thien
Veröffentlicht: (2026)

Data-driven Test Generation for Fuzzing AI Compiler
von: Shen, Qingchao
Veröffentlicht: (2026)

Evolutionary Generative Fuzzing for Differential Testing of the Kotlin Compiler
von: Georgescu, Calin, et al.
Veröffentlicht: (2024)

Learning-Guided Fuzzing for Testing Stateful SDN Controllers
von: Ollando, Raphaël, et al.
Veröffentlicht: (2024)

Testing Storage-System Correctness: Challenges, Fuzzing Limitations, and AI-Augmented Opportunities
von: Wang, Ying, et al.
Veröffentlicht: (2026)

Scaling Symbolic Execution to Large Software Systems
von: Horvath, Gabor, et al.
Veröffentlicht: (2024)

ORFuzz: Fuzzing the "Other Side" of LLM Safety -- Testing Over-Refusal
von: Zhang, Haonan, et al.
Veröffentlicht: (2025)

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

Failure-Guided Fuzzing for Hybrid Quantum-Classical Programs
von: Zhang, Lei
Veröffentlicht: (2026)

Prompt Fuzzing for Fuzz Driver Generation
von: Lyu, Yunlong, et al.
Veröffentlicht: (2023)

ZTaint-Havoc: From Havoc Mode to Zero-Execution Fuzzing-Driven Taint Inference
von: Xie, Yuchong, et al.
Veröffentlicht: (2025)