Cover Image

AFLNet Five Years Later: On Coverage-Guided Protocol Fuzzing

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Meng, Ruijie, Pham, Van-Thuan, Böhme, Marcel, Roychoudhury, Abhik
Format:	Preprint
Published:	2024
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Fuzzing: On Benchmarking Outcome as a Function of Benchmark Properties
by: Wolff, Dylan, et al.
Published: (2022)

Program Environment Fuzzing
by: Meng, Ruijie, et al.
Published: (2024)

Large Language Model assisted Hybrid Fuzzing
by: Meng, Ruijie, et al.
Published: (2024)

BGPFuzz: Automated Configuration Fuzzing of the Border Gateway Protocol
by: Zhang, Chenlu, et al.
Published: (2025)

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

Enhancing Code Review through Fuzzing and Likely Invariants
by: Charoenwet, Wachiraphan, et al.
Published: (2025)

Following Dragons: Code Review-Guided Fuzzing
by: Luu, Viet Hoang, et al.
Published: (2026)

Agentic AI for Software: thoughts from Software Engineering community
by: Roychoudhury, Abhik
Published: (2025)

Agentic Verification of Software Systems
by: Tu, Haoxin, et al.
Published: (2025)

Computation Tree Logic Guided Program Repair
by: Liu, Yu, et al.
Published: (2025)

DynamiQ: Unlocking the Potential of Dynamic Task Allocation in Parallel Fuzzing
by: Yan, Wenqi, et al.
Published: (2025)

WuppieFuzz: Coverage-Guided, Stateful REST API Fuzzing
by: Rooijakkers, Thomas, et al.
Published: (2025)

Will AI replace Software Engineers? Do not hold your breath
by: Roychoudhury, Abhik, et al.
Published: (2025)

On Interaction Effects in Greybox Fuzzing
by: Kitsios, Konstantinos, et al.
Published: (2025)

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

Fundamental Challenges in Cybersecurity and a Philosophy of Vulnerability-Guided Hardening
by: Böhme, Marcel
Published: (2024)

InsightQL: Advancing Human-Assisted Fuzzing with a Unified Code Database and Parameterized Query Interface
by: Gao, Wentao, et al.
Published: (2025)

SpecRover: Code Intent Extraction via LLMs
by: Ruan, Haifeng, et al.
Published: (2024)

Whose fault is it anyway? SILC: Safe Integration of LLM-Generated Code
by: Lin, Peisen, et al.
Published: (2024)

Agent That Debugs: Dynamic State-Guided Vulnerability Repair
by: Liu, Zhengyao, et al.
Published: (2025)

An Empirical Study of Fuzz Harness Degradation
by: Görz, Philipp, et al.
Published: (2025)

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

Evaluating the Effectiveness of Coverage-Guided Fuzzing for Testing Deep Learning Library APIs
by: Qin, Feiran, et al.
Published: (2025)

Codexity: Secure AI-assisted Code Generation
by: Kim, Sung Yong, et al.
Published: (2024)

Lemma Discovery in Agentic Program Verification
by: Zhao, Huan, et al.
Published: (2026)

AutoCodeSherpa: Symbolic Explanations in AI Coding Agents
by: Kang, Sungmin, et al.
Published: (2025)

AutoCodeRover: Autonomous Program Improvement
by: Zhang, Yuntong, et al.
Published: (2024)

Agentic AI Software Engineers: Programming with Trust
by: Roychoudhury, Abhik, et al.
Published: (2025)

Software Engineering Educational Experience in Building an Intelligent Tutoring System
by: Fan, Zhiyu, et al.
Published: (2023)

Coverage-Guided Multi-Agent Harness Generation for Java Library Fuzzing
by: Loose, Nils, et al.
Published: (2026)

Perception-Guided Fuzzing for Simulated Scenario-Based Testing of Autonomous Driving Systems
by: Pham, Tri Minh Triet, et al.
Published: (2024)

How and Why Agents Can Identify Bug-Introducing Commits
by: Risse, Niklas, et al.
Published: (2026)

An Empirical Study of Static Analysis Tools for Secure Code Review
by: Charoenwet, Wachiraphan, et al.
Published: (2024)

Toward Effective Secure Code Reviews: An Empirical Study of Security-Related Coding Weaknesses
by: Charoenwet, Wachiraphan, et al.
Published: (2023)

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

FuzzWiz -- Fuzzing Framework for Efficient Hardware Coverage
by: Gadde, Deepak Narayan, et al.
Published: (2024)

Vital: Vulnerability-Oriented Symbolic Execution via Type-Unsafe Pointer-Guided Monte Carlo Tree Search
by: Tu, Haoxin, et al.
Published: (2024)

Empirical Computation
by: Tang, Eric, et al.
Published: (2025)

Assured Automatic Programming via Large Language Models
by: Mirchev, Martin, et al.
Published: (2024)

AFL-ICP: Enhancing Industrial Control Protocol Reliability via Specification-Guided Fuzzing
by: Meng, Jiaying, et al.
Published: (2026)