AFLNet Five Years Later: On Coverage-Guided Protocol Fuzzing
Fuente:
arXiv
Guardado en:
| Autores principales: | Meng, Ruijie, Pham, Van-Thuan, Böhme, Marcel, Roychoudhury, Abhik |
|---|---|
| Formato: | Preprint |
| Publicado: |
2024
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Ejemplares similares
Fuzzing: On Benchmarking Outcome as a Function of Benchmark Properties
por: Wolff, Dylan, et al.
Publicado: (2022)
por: Wolff, Dylan, et al.
Publicado: (2022)
Program Environment Fuzzing
por: Meng, Ruijie, et al.
Publicado: (2024)
por: Meng, Ruijie, et al.
Publicado: (2024)
Large Language Model assisted Hybrid Fuzzing
por: Meng, Ruijie, et al.
Publicado: (2024)
por: Meng, Ruijie, et al.
Publicado: (2024)
BGPFuzz: Automated Configuration Fuzzing of the Border Gateway Protocol
por: Zhang, Chenlu, et al.
Publicado: (2025)
por: Zhang, Chenlu, et al.
Publicado: (2025)
GraphFuzz: Automated Testing of Graph Algorithm Implementations with Differential Fuzzing and Lightweight Feedback
por: Yan, Wenqi, et al.
Publicado: (2025)
por: Yan, Wenqi, et al.
Publicado: (2025)
Enhancing Code Review through Fuzzing and Likely Invariants
por: Charoenwet, Wachiraphan, et al.
Publicado: (2025)
por: Charoenwet, Wachiraphan, et al.
Publicado: (2025)
Following Dragons: Code Review-Guided Fuzzing
por: Luu, Viet Hoang, et al.
Publicado: (2026)
por: Luu, Viet Hoang, et al.
Publicado: (2026)
Agentic AI for Software: thoughts from Software Engineering community
por: Roychoudhury, Abhik
Publicado: (2025)
por: Roychoudhury, Abhik
Publicado: (2025)
Agentic Verification of Software Systems
por: Tu, Haoxin, et al.
Publicado: (2025)
por: Tu, Haoxin, et al.
Publicado: (2025)
Computation Tree Logic Guided Program Repair
por: Liu, Yu, et al.
Publicado: (2025)
por: Liu, Yu, et al.
Publicado: (2025)
DynamiQ: Unlocking the Potential of Dynamic Task Allocation in Parallel Fuzzing
por: Yan, Wenqi, et al.
Publicado: (2025)
por: Yan, Wenqi, et al.
Publicado: (2025)
WuppieFuzz: Coverage-Guided, Stateful REST API Fuzzing
por: Rooijakkers, Thomas, et al.
Publicado: (2025)
por: Rooijakkers, Thomas, et al.
Publicado: (2025)
Will AI replace Software Engineers? Do not hold your breath
por: Roychoudhury, Abhik, et al.
Publicado: (2025)
por: Roychoudhury, Abhik, et al.
Publicado: (2025)
On Interaction Effects in Greybox Fuzzing
por: Kitsios, Konstantinos, et al.
Publicado: (2025)
por: Kitsios, Konstantinos, et al.
Publicado: (2025)
Fixing Security Vulnerabilities with AI in OSS-Fuzz
por: Zhang, Yuntong, et al.
Publicado: (2024)
por: Zhang, Yuntong, et al.
Publicado: (2024)
Fundamental Challenges in Cybersecurity and a Philosophy of Vulnerability-Guided Hardening
por: Böhme, Marcel
Publicado: (2024)
por: Böhme, Marcel
Publicado: (2024)
InsightQL: Advancing Human-Assisted Fuzzing with a Unified Code Database and Parameterized Query Interface
por: Gao, Wentao, et al.
Publicado: (2025)
por: Gao, Wentao, et al.
Publicado: (2025)
SpecRover: Code Intent Extraction via LLMs
por: Ruan, Haifeng, et al.
Publicado: (2024)
por: Ruan, Haifeng, et al.
Publicado: (2024)
Whose fault is it anyway? SILC: Safe Integration of LLM-Generated Code
por: Lin, Peisen, et al.
Publicado: (2024)
por: Lin, Peisen, et al.
Publicado: (2024)
Agent That Debugs: Dynamic State-Guided Vulnerability Repair
por: Liu, Zhengyao, et al.
Publicado: (2025)
por: Liu, Zhengyao, et al.
Publicado: (2025)
An Empirical Study of Fuzz Harness Degradation
por: Görz, Philipp, et al.
Publicado: (2025)
por: Görz, Philipp, et al.
Publicado: (2025)
FLARE: Agentic Coverage-Guided Fuzzing for LLM-Based Multi-Agent Systems
por: Hui, Mingxuan, et al.
Publicado: (2026)
por: Hui, Mingxuan, et al.
Publicado: (2026)
Evaluating the Effectiveness of Coverage-Guided Fuzzing for Testing Deep Learning Library APIs
por: Qin, Feiran, et al.
Publicado: (2025)
por: Qin, Feiran, et al.
Publicado: (2025)
Codexity: Secure AI-assisted Code Generation
por: Kim, Sung Yong, et al.
Publicado: (2024)
por: Kim, Sung Yong, et al.
Publicado: (2024)
Lemma Discovery in Agentic Program Verification
por: Zhao, Huan, et al.
Publicado: (2026)
por: Zhao, Huan, et al.
Publicado: (2026)
AutoCodeSherpa: Symbolic Explanations in AI Coding Agents
por: Kang, Sungmin, et al.
Publicado: (2025)
por: Kang, Sungmin, et al.
Publicado: (2025)
AutoCodeRover: Autonomous Program Improvement
por: Zhang, Yuntong, et al.
Publicado: (2024)
por: Zhang, Yuntong, et al.
Publicado: (2024)
Agentic AI Software Engineers: Programming with Trust
por: Roychoudhury, Abhik, et al.
Publicado: (2025)
por: Roychoudhury, Abhik, et al.
Publicado: (2025)
Software Engineering Educational Experience in Building an Intelligent Tutoring System
por: Fan, Zhiyu, et al.
Publicado: (2023)
por: Fan, Zhiyu, et al.
Publicado: (2023)
Coverage-Guided Multi-Agent Harness Generation for Java Library Fuzzing
por: Loose, Nils, et al.
Publicado: (2026)
por: Loose, Nils, et al.
Publicado: (2026)
Perception-Guided Fuzzing for Simulated Scenario-Based Testing of Autonomous Driving Systems
por: Pham, Tri Minh Triet, et al.
Publicado: (2024)
por: Pham, Tri Minh Triet, et al.
Publicado: (2024)
How and Why Agents Can Identify Bug-Introducing Commits
por: Risse, Niklas, et al.
Publicado: (2026)
por: Risse, Niklas, et al.
Publicado: (2026)
An Empirical Study of Static Analysis Tools for Secure Code Review
por: Charoenwet, Wachiraphan, et al.
Publicado: (2024)
por: Charoenwet, Wachiraphan, et al.
Publicado: (2024)
Toward Effective Secure Code Reviews: An Empirical Study of Security-Related Coding Weaknesses
por: Charoenwet, Wachiraphan, et al.
Publicado: (2023)
por: Charoenwet, Wachiraphan, et al.
Publicado: (2023)
FuzzAug: Data Augmentation by Coverage-guided Fuzzing for Neural Test Generation
por: He, Yifeng, et al.
Publicado: (2024)
por: He, Yifeng, et al.
Publicado: (2024)
FuzzWiz -- Fuzzing Framework for Efficient Hardware Coverage
por: Gadde, Deepak Narayan, et al.
Publicado: (2024)
por: Gadde, Deepak Narayan, et al.
Publicado: (2024)
Vital: Vulnerability-Oriented Symbolic Execution via Type-Unsafe Pointer-Guided Monte Carlo Tree Search
por: Tu, Haoxin, et al.
Publicado: (2024)
por: Tu, Haoxin, et al.
Publicado: (2024)
Empirical Computation
por: Tang, Eric, et al.
Publicado: (2025)
por: Tang, Eric, et al.
Publicado: (2025)
Assured Automatic Programming via Large Language Models
por: Mirchev, Martin, et al.
Publicado: (2024)
por: Mirchev, Martin, et al.
Publicado: (2024)
AFL-ICP: Enhancing Industrial Control Protocol Reliability via Specification-Guided Fuzzing
por: Meng, Jiaying, et al.
Publicado: (2026)
por: Meng, Jiaying, et al.
Publicado: (2026)
Ejemplares similares
-
Fuzzing: On Benchmarking Outcome as a Function of Benchmark Properties
por: Wolff, Dylan, et al.
Publicado: (2022) -
Program Environment Fuzzing
por: Meng, Ruijie, et al.
Publicado: (2024) -
Large Language Model assisted Hybrid Fuzzing
por: Meng, Ruijie, et al.
Publicado: (2024) -
BGPFuzz: Automated Configuration Fuzzing of the Border Gateway Protocol
por: Zhang, Chenlu, et al.
Publicado: (2025) -
GraphFuzz: Automated Testing of Graph Algorithm Implementations with Differential Fuzzing and Lightweight Feedback
por: Yan, Wenqi, et al.
Publicado: (2025)