Buchumschlag

PathFuzzing: Worst Case Analysis by Fuzzing Symbolic-Execution Paths

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Chen, Zimu, Wang, Di
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Software Engineering D.2.5
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

On Interaction Effects in Greybox Fuzzing
von: Kitsios, Konstantinos, et al.
Veröffentlicht: (2025)

FuzzRDUCC: Fuzzing with Reconstructed Def-Use Chain Coverage
von: Feng, Kai, et al.
Veröffentlicht: (2025)

Refining Fuzzed Crashing Inputs for Better Fault Diagnosis
von: Kim, Kieun, et al.
Veröffentlicht: (2025)

FuzzPilot: Plateau-Triggered Recipe Validation for Structured Text Fuzzing
von: Yao, Zhiyi
Veröffentlicht: (2026)

An Empirical Study of Fuzz Harness Degradation
von: Görz, Philipp, et al.
Veröffentlicht: (2025)

VLM-Fuzz: Vision Language Model Assisted Recursive Depth-first Search Exploration for Effective UI Testing of Android Apps
von: Demissie, Biniam Fisseha, et al.
Veröffentlicht: (2025)

Testing SSD Firmware with State Data-Aware Fuzzing: Accelerating Coverage in Nondeterministic I/O Environments
von: Yoon, Gangho, et al.
Veröffentlicht: (2025)

ErrorPrism: Reconstructing Error Propagation Paths in Cloud Service Systems
von: Pu, Junsong, et al.
Veröffentlicht: (2025)

Mutation Analysis with Execution Taints
von: Gopinath, Rahul, et al.
Veröffentlicht: (2024)

PALM: Path-aware LLM-based Test Generation with Comprehension
von: Wu, Yaoxuan, et al.
Veröffentlicht: (2025)

FuzzDistill: Intelligent Fuzzing Target Selection using Compile-Time Analysis and Machine Learning
von: Upadhyay, Saket
Veröffentlicht: (2024)

Assessing Reliability of Statistical Maximum Coverage Estimators in Fuzzing
von: Liyanage, Danushka, et al.
Veröffentlicht: (2025)

Orion: Fuzzing Workflow Automation
von: Bazalii, Max, et al.
Veröffentlicht: (2025)

How Execution Features Relate to Failures: An Empirical Study and Diagnosis Approach
von: Smytzek, Marius, et al.
Veröffentlicht: (2025)

LibLMFuzz: LLM-Augmented Fuzz Target Generation for Black-box Libraries
von: Hardgrove, Ian, et al.
Veröffentlicht: (2025)

Verifying a Sparse Matrix Algorithm Using Symbolic Execution
von: Wilton, Alexander C.
Veröffentlicht: (2025)

Fuzzing the brain: Automated stress testing for the safety of ML-driven neurostimulation
von: Downing, Mara, et al.
Veröffentlicht: (2025)

A Comparative Quality Metric for Untargeted Fuzzing with Logic State Coverage
von: Lee, Gwangmu
Veröffentlicht: (2024)

Flow-of-Action: SOP Enhanced LLM-Based Multi-Agent System for Root Cause Analysis
von: Pei, Changhua, et al.
Veröffentlicht: (2025)

How Do Developers Structure Unit Test Cases? An Empirical Study from the "AAA" Perspective
von: Wei, Chenhao, et al.
Veröffentlicht: (2024)

Path-optimal symbolic execution of heap-manipulating programs
von: Braione, Pietro, et al.
Veröffentlicht: (2024)

E-Test: E'er-Improving Test Suites
von: Qiu, Ketai, et al.
Veröffentlicht: (2025)

Continuous Discovery of Vulnerabilities in LLM Serving Systems with Fuzzing
von: Zhao, Yunze, et al.
Veröffentlicht: (2026)

Which Combination of Test Metrics Can Predict Success of a Software Project? A Case Study in a Year-Long Project Course
von: Filipovic, Marina, et al.
Veröffentlicht: (2024)

Empirical Analysis of Temporal and Spatial Fault Characteristics in Multi-Fault Bug Repositories
von: Callaghan, Dylan, et al.
Veröffentlicht: (2025)

Analyzing Quantum Programs with LintQ: A Static Analysis Framework for Qiskit
von: Paltenghi, Matteo, et al.
Veröffentlicht: (2023)

A Comprehensive Study on Large Language Models for Mutation Testing
von: Wang, Bo, et al.
Veröffentlicht: (2024)

Runtime Execution Traces Guided Automated Program Repair with Multi-Agent Debate
von: Wu, Jiaqing, et al.
Veröffentlicht: (2026)

Synthesizing Performance Constraints for Evaluating and Improving Code Efficiency
von: Yang, Jun, et al.
Veröffentlicht: (2025)

Auto-repair without test cases: How LLMs fix compilation errors in large industrial embedded code
von: Fu, Han, et al.
Veröffentlicht: (2025)

Multi-modal Traffic Scenario Generation for Autonomous Driving System Testing
von: Tu, Zhi, et al.
Veröffentlicht: (2025)

From Feedback to Failure: Automated Android Performance Issue Reproduction
von: Li, Zhengquan, et al.
Veröffentlicht: (2025)

SETBVE: Quality-Diversity Driven Exploration of Software Boundary Behaviors
von: Akbarova, Sabinakhon, et al.
Veröffentlicht: (2025)

PinChecker: Identifying Unsound Safe Abstractions of Rust Pinning APIs
von: Dai, Yuxuan, et al.
Veröffentlicht: (2025)

Automated Test Generation from Program Documentation Encoded in Code Comments
von: Denaro, Giovanni, et al.
Veröffentlicht: (2025)

Plug it and Play on Logs: A Configuration-Free Statistic-Based Log Parser
von: Qin, Qiaolin, et al.
Veröffentlicht: (2025)

Automated Generation of Issue-Reproducing Tests by Combining LLMs and Search-Based Testing
von: Kitsios, Konstantinos, et al.
Veröffentlicht: (2025)

Theory of Troubleshooting: The Developer's Cognitive Experience of Overcoming Confusion
von: Starr, Arty, et al.
Veröffentlicht: (2026)

From Program Slices to Causal Clarity: Evaluating Faithful, Actionable LLM-Generated Failure Explanations via Context Partitioning and LLM-as-a-Judge
von: Porbeck, Julius, et al.
Veröffentlicht: (2026)

In industrial embedded software, are some compilation errors easier to localize and fix than others?
von: Fu, Han, et al.
Veröffentlicht: (2024)