Buchumschlag

Gray-Box Fuzzing via Gradient Descent and Boolean Expression Coverage (Technical Report)

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Jonáš, Martin, Strejček, Jan, Trtík, Marek, Urban, Lukáš
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Programming Languages
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Gray-Box Fuzzing in Local Space
von: Jonáš, Martin, et al.
Veröffentlicht: (2025)

On Complementation of Nondeterministic Finite Automata without Full Determinization (Technical Report)
von: Holík, Lukáš, et al.
Veröffentlicht: (2025)

Correct Black-Box Monitors for Distributed Deadlock Detection: Formalisation and Implementation (Technical Report)
von: Rowicki, Radosław Jan, et al.
Veröffentlicht: (2025)

WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models
von: Yang, Chenyuan, et al.
Veröffentlicht: (2023)

TENSURE: Fuzzing Sparse Tensor Compilers (Registered Report)
von: Mahathevan, Kabilan, et al.
Veröffentlicht: (2026)

Failure Transparency in Stateful Dataflow Systems (Technical Report)
von: Veresov, Aleksey, et al.
Veröffentlicht: (2024)

Verified Parameterized Choreographies Technical Report
von: Rubbens, Robert, et al.
Veröffentlicht: (2025)

Encoding Petri Nets into CCS (Technical Report)
von: Bogø, Benjamin, et al.
Veröffentlicht: (2024)

Multiparty Session Typing, Embedded (Technical Report)
von: Jongmans, Sung-Shik
Veröffentlicht: (2025)

Fuzzing: Randomness? Reasoning! Efficient Directed Fuzzing via Large Language Models
von: Feng, Xiaotao, et al.
Veröffentlicht: (2025)

R1-Fuzz: Specializing Language Models for Textual Fuzzing via Reinforcement Learning
von: Lin, Jiayi, et al.
Veröffentlicht: (2025)

Target-Aware Implementation of Real Expressions
von: Saiki, Brett, et al.
Veröffentlicht: (2024)

Iso-Recursive Multiparty Sessions and their Automated Verification -- Technical Report
von: Giunti, Marco, et al.
Veröffentlicht: (2025)

Polymorphic Coverage Types
von: Zhou, Zhe, et al.
Veröffentlicht: (2023)

OverrideFuzz: Semantic-Aware Grammar Fuzzing for Script-Runtime Vulnerabilities
von: Qiu, Yiran
Veröffentlicht: (2026)

Staged Specification Logic for Verifying Higher-Order Imperative Programs (Technical Report)
von: Foo, Darius, et al.
Veröffentlicht: (2023)

Discourje: Run-Time Verification of Communication Protocols in Clojure -- Live at Last (Technical Report)
von: Jongmans, Sung-Shik
Veröffentlicht: (2024)

Coverage Semantics for Dependent Pattern Matching
von: Eremondi, Joseph, et al.
Veröffentlicht: (2025)

Secure Synthesis of Distributed Cryptographic Applications (Technical Report)
von: Acay, Coşku, et al.
Veröffentlicht: (2024)

Numerical Fuzz: A Type System for Rounding Error Analysis
von: Kellison, Ariel E., et al.
Veröffentlicht: (2024)

Useful Evaluation: Syntax and Semantics (Technical Report)
von: Barenbaum, Pablo, et al.
Veröffentlicht: (2024)

Prime Path Coverage in the GNU Compiler Collection
von: Kvalsvik, Jørgen
Veröffentlicht: (2025)

Abstract Interpretation-Based Data Leakage Static Analysis
von: Drobnjaković, Filip, et al.
Veröffentlicht: (2022)

Kotlin ML Pack: Technical Report
von: Titov, Sergey, et al.
Veröffentlicht: (2024)

What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version)
von: Xu, Yichen, et al.
Veröffentlicht: (2025)

Fuzzing Processing Pipelines for Zero-Knowledge Circuits
von: Hochrainer, Christoph, et al.
Veröffentlicht: (2024)

NEST: Network Enforced Session Types (Technical Report)
von: Larsen, Jens Kanstrup, et al.
Veröffentlicht: (2026)

The Long Way to Deforestation (Technical Report): A Type Inference and Elaboration Technique for Removing Intermediate Data Structures
von: Chen, Yijia, et al.
Veröffentlicht: (2024)

A Language for Smart Contracts with Secure Control Flow (Technical Report)
von: Yao, Siqiu, et al.
Veröffentlicht: (2024)

Technical Report: Full-Stack Fine-Tuning for the Q Programming Language
von: Hogan, Brendan R., et al.
Veröffentlicht: (2025)

An Algebraic Approach to Asymmetric Delegation and Polymorphic Label Inference (Technical Report)
von: Ren, Silei, et al.
Veröffentlicht: (2025)

Beyond Imprecise Distance Metrics: Trace-Guided Directed Greybox Fuzzing via LLM-Predicted Call Stacks
von: Zhang, Yifan, et al.
Veröffentlicht: (2025)

Membership Testing for Semantic Regular Expressions
von: Huang, Yifei, et al.
Veröffentlicht: (2024)

Vbox: Efficient Black-Box Serializability Verification
von: Sun, Weihua, et al.
Veröffentlicht: (2025)

Belobog: Move Language Fuzzing Framework For Real-World Smart Contracts
von: Kong, Ziqiao, et al.
Veröffentlicht: (2025)

Context-Free Grammar Inference for Complex Programming Languages in Black Box Settings
von: Li, Feifei, et al.
Veröffentlicht: (2026)

Accurate Coverage Metrics for Compiler-Generated Debugging Information
von: Stinnett, J. Ryan, et al.
Veröffentlicht: (2024)

Creating Pleasant Programming Environments for Cognitive Science Students. Technical Report No. 16. [and] Domain Specific Debugging Aids for Novice Programmers. Technical Report No. 17.
von: Eisenstadt, Marc, et al.
Veröffentlicht: (1981)

Faster Verified Explanations for Neural Networks
von: De Palma, Alessandro, et al.
Veröffentlicht: (2025)

RVISmith: Fuzzing Compilers for RVV Intrinsics
von: He, Yibo, et al.
Veröffentlicht: (2025)