Imagen de Portada

Testing Storage-System Correctness: Challenges, Fuzzing Limitations, and AI-Augmented Opportunities

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Wang, Ying, Chen, Jiahui, Jiang, Dejun
Formato:	Preprint
Publicado:	2026
Materias:	Software Engineering Artificial Intelligence Cryptography and Security
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Agentic Fuzzing: Opportunities and Challenges
por: Park, Junyoung, et al.
Publicado: (2026)

Locus: Agentic Predicate Synthesis for Directed Fuzzing
por: Zhu, Jie, et al.
Publicado: (2025)

LLAMAFUZZ: Large Language Model Enhanced Greybox Fuzzing
por: Zhang, Hongxiang, et al.
Publicado: (2024)

Python Fuzzing for Trustworthy Machine Learning Frameworks
por: Yegorov, Ilya, et al.
Publicado: (2024)

TEMPLATEFUZZ: Fine-Grained Chat Template Fuzzing for Jailbreaking and Red Teaming LLMs
por: Shen, Qingchao, et al.
Publicado: (2026)

KernelGPT: Enhanced Kernel Fuzzing via Large Language Models
por: Yang, Chenyuan, et al.
Publicado: (2023)

Semantic-Aware Fuzzing: An Empirical Framework for LLM-Guided, Reasoning-Driven Input Mutation
por: Lu, Mengdi, et al.
Publicado: (2025)

Fuzzing: Randomness? Reasoning! Efficient Directed Fuzzing via Large Language Models
por: Feng, Xiaotao, et al.
Publicado: (2025)

R1-Fuzz: Specializing Language Models for Textual Fuzzing via Reinforcement Learning
por: Lin, Jiayi, et al.
Publicado: (2025)

Measuring the Permission Gate: A Stress-Test Evaluation of Claude Code's Auto Mode
por: Ji, Zimo, et al.
Publicado: (2026)

FuzzAgent: Multi-Agent System for Evolutionary Library Fuzzing
por: Lyu, Yunlong, et al.
Publicado: (2026)

Is Stateful Fuzzing Really Challenging?
por: Daniele, Cristian
Publicado: (2024)

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

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

Casting a SPELL: Sentence Pairing Exploration for LLM Limitation-breaking
por: Huang, Yifan, et al.
Publicado: (2025)

Fixing Security Vulnerabilities with AI in OSS-Fuzz
por: Zhang, Yuntong, et al.
Publicado: (2024)

PentestEval: Benchmarking LLM-based Penetration Testing with Modular and Stage-Level Design
por: Yang, Ruozhao, et al.
Publicado: (2025)

Cochise: A Reference Harness for Autonomous Penetration Testing
por: Happe, Andreas, et al.
Publicado: (2026)

Hackers or Hallucinators? A Comprehensive Analysis of LLM-Based Automated Penetration Testing
por: Peng, Jiaren, et al.
Publicado: (2026)

Options, Not Clicks: Lattice Refinement for Consent-Driven MCP Authorization
por: Li, Ying, et al.
Publicado: (2026)

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

Inverting the Shield: Systematically Generating Safety Tests from Policy Specifications
por: Lu, Xiaoyue, et al.
Publicado: (2026)

DevOps-Gym: Benchmarking AI Agents in Software DevOps Cycle
por: Tang, Yuheng, et al.
Publicado: (2026)

Securing the Future of IVR: AI-Driven Innovation with Agile Security, Data Regulation, and Ethical AI Integration
por: Shaikh, Khushbu Mehboob, et al.
Publicado: (2025)

Toward Patch Robustness Certification and Detection for Deep Learning Systems Beyond Consistent Samples
por: Zhou, Qilin, et al.
Publicado: (2025)

CodeHacker: Automated Test Case Generation for Detecting Vulnerabilities in Competitive Programming Solutions
por: Shi, Jingwei, et al.
Publicado: (2026)

When Safe Skills Collide: Measuring Compositional Risk in Agent Skill Ecosystems
por: Wang, Su, et al.
Publicado: (2026)

A sketch of an AI control safety case
por: Korbak, Tomek, et al.
Publicado: (2025)

AI security and cyber risk in IoT systems
por: Radanliev, Petar, et al.
Publicado: (2024)

AI Code Generators for Security: Friend or Foe?
por: Natella, Roberto, et al.
Publicado: (2024)

PatUntrack: Automated Generating Patch Examples for Issue Reports without Tracked Insecure Code
por: Jiang, Ziyou, et al.
Publicado: (2024)

LLM-enabled Applications Require System-Level Threat Monitoring
por: Zhang, Yedi, et al.
Publicado: (2026)

Do Agents Dream of Root Shells? Partial-Credit Evaluation of LLM Agents in Capture the Flag Challenges
por: Al-Kaswan, Ali, et al.
Publicado: (2026)

Safety and Performance, Why Not Both? Bi-Objective Optimized Model Compression against Heterogeneous Attacks Toward AI Software Deployment
por: Zhu, Jie, et al.
Publicado: (2024)

Containment Verification: AI Safety Guarantees Independent of Alignment
por: Moon, Royce, et al.
Publicado: (2026)

On the Security Risks of ML-based Malware Detection Systems: A Survey
por: He, Ping, et al.
Publicado: (2025)

Risks of ignoring uncertainty propagation in AI-augmented security pipelines
por: Mezzi, Emanuele, et al.
Publicado: (2024)

Leveraging Large Language Models for Command Injection Vulnerability Analysis in Python: An Empirical Study on Popular Open-Source Projects
por: Wang, Yuxuan, et al.
Publicado: (2025)

Identifying the Supply Chain of AI for Trustworthiness and Risk Management in Critical Applications
por: Sheh, Raymond K., et al.
Publicado: (2025)

Real Money, Fake Models: Deceptive Model Claims in Shadow APIs
por: Zhang, Yage, et al.
Publicado: (2026)