Saved in:
| Main Authors: | Jonáš, Martin, Strejček, Jan, Trtík, Marek, Urban, Lukáš |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2401.12643 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Gray-Box Fuzzing in Local Space
by: Jonáš, Martin, et al.
Published: (2025)
by: Jonáš, Martin, et al.
Published: (2025)
On Complementation of Nondeterministic Finite Automata without Full Determinization (Technical Report)
by: Holík, Lukáš, et al.
Published: (2025)
by: Holík, Lukáš, et al.
Published: (2025)
Correct Black-Box Monitors for Distributed Deadlock Detection: Formalisation and Implementation (Technical Report)
by: Rowicki, Radosław Jan, et al.
Published: (2025)
by: Rowicki, Radosław Jan, et al.
Published: (2025)
WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models
by: Yang, Chenyuan, et al.
Published: (2023)
by: Yang, Chenyuan, et al.
Published: (2023)
TENSURE: Fuzzing Sparse Tensor Compilers (Registered Report)
by: Mahathevan, Kabilan, et al.
Published: (2026)
by: Mahathevan, Kabilan, et al.
Published: (2026)
Failure Transparency in Stateful Dataflow Systems (Technical Report)
by: Veresov, Aleksey, et al.
Published: (2024)
by: Veresov, Aleksey, et al.
Published: (2024)
Fuzzing: Randomness? Reasoning! Efficient Directed Fuzzing via Large Language Models
by: Feng, Xiaotao, et al.
Published: (2025)
by: Feng, Xiaotao, et al.
Published: (2025)
Verified Parameterized Choreographies Technical Report
by: Rubbens, Robert, et al.
Published: (2025)
by: Rubbens, Robert, et al.
Published: (2025)
R1-Fuzz: Specializing Language Models for Textual Fuzzing via Reinforcement Learning
by: Lin, Jiayi, et al.
Published: (2025)
by: Lin, Jiayi, et al.
Published: (2025)
Encoding Petri Nets into CCS (Technical Report)
by: Bogø, Benjamin, et al.
Published: (2024)
by: Bogø, Benjamin, et al.
Published: (2024)
Multiparty Session Typing, Embedded (Technical Report)
by: Jongmans, Sung-Shik
Published: (2025)
by: Jongmans, Sung-Shik
Published: (2025)
Target-Aware Implementation of Real Expressions
by: Saiki, Brett, et al.
Published: (2024)
by: Saiki, Brett, et al.
Published: (2024)
OverrideFuzz: Semantic-Aware Grammar Fuzzing for Script-Runtime Vulnerabilities
by: Qiu, Yiran
Published: (2026)
by: Qiu, Yiran
Published: (2026)
Iso-Recursive Multiparty Sessions and their Automated Verification -- Technical Report
by: Giunti, Marco, et al.
Published: (2025)
by: Giunti, Marco, et al.
Published: (2025)
Polymorphic Coverage Types
by: Zhou, Zhe, et al.
Published: (2023)
by: Zhou, Zhe, et al.
Published: (2023)
Secure Synthesis of Distributed Cryptographic Applications (Technical Report)
by: Acay, Coşku, et al.
Published: (2024)
by: Acay, Coşku, et al.
Published: (2024)
Staged Specification Logic for Verifying Higher-Order Imperative Programs (Technical Report)
by: Foo, Darius, et al.
Published: (2023)
by: Foo, Darius, et al.
Published: (2023)
Useful Evaluation: Syntax and Semantics (Technical Report)
by: Barenbaum, Pablo, et al.
Published: (2024)
by: Barenbaum, Pablo, et al.
Published: (2024)
Kotlin ML Pack: Technical Report
by: Titov, Sergey, et al.
Published: (2024)
by: Titov, Sergey, et al.
Published: (2024)
Numerical Fuzz: A Type System for Rounding Error Analysis
by: Kellison, Ariel E., et al.
Published: (2024)
by: Kellison, Ariel E., et al.
Published: (2024)
Discourje: Run-Time Verification of Communication Protocols in Clojure -- Live at Last (Technical Report)
by: Jongmans, Sung-Shik
Published: (2024)
by: Jongmans, Sung-Shik
Published: (2024)
Abstract Interpretation-Based Data Leakage Static Analysis
by: Drobnjaković, Filip, et al.
Published: (2022)
by: Drobnjaković, Filip, et al.
Published: (2022)
Coverage Semantics for Dependent Pattern Matching
by: Eremondi, Joseph, et al.
Published: (2025)
by: Eremondi, Joseph, et al.
Published: (2025)
Fuzzing Processing Pipelines for Zero-Knowledge Circuits
by: Hochrainer, Christoph, et al.
Published: (2024)
by: Hochrainer, Christoph, et al.
Published: (2024)
NEST: Network Enforced Session Types (Technical Report)
by: Larsen, Jens Kanstrup, et al.
Published: (2026)
by: Larsen, Jens Kanstrup, et al.
Published: (2026)
Prime Path Coverage in the GNU Compiler Collection
by: Kvalsvik, Jørgen
Published: (2025)
by: Kvalsvik, Jørgen
Published: (2025)
A Language for Smart Contracts with Secure Control Flow (Technical Report)
by: Yao, Siqiu, et al.
Published: (2024)
by: Yao, Siqiu, et al.
Published: (2024)
Technical Report: Full-Stack Fine-Tuning for the Q Programming Language
by: Hogan, Brendan R., et al.
Published: (2025)
by: Hogan, Brendan R., et al.
Published: (2025)
An Algebraic Approach to Asymmetric Delegation and Polymorphic Label Inference (Technical Report)
by: Ren, Silei, et al.
Published: (2025)
by: Ren, Silei, et al.
Published: (2025)
What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version)
by: Xu, Yichen, et al.
Published: (2025)
by: Xu, Yichen, et al.
Published: (2025)
The Long Way to Deforestation (Technical Report): A Type Inference and Elaboration Technique for Removing Intermediate Data Structures
by: Chen, Yijia, et al.
Published: (2024)
by: Chen, Yijia, et al.
Published: (2024)
Beyond Imprecise Distance Metrics: Trace-Guided Directed Greybox Fuzzing via LLM-Predicted Call Stacks
by: Zhang, Yifan, et al.
Published: (2025)
by: Zhang, Yifan, et al.
Published: (2025)
RVISmith: Fuzzing Compilers for RVV Intrinsics
by: He, Yibo, et al.
Published: (2025)
by: He, Yibo, et al.
Published: (2025)
Belobog: Move Language Fuzzing Framework For Real-World Smart Contracts
by: Kong, Ziqiao, et al.
Published: (2025)
by: Kong, Ziqiao, et al.
Published: (2025)
Creating Pleasant Programming Environments for Cognitive Science Students. Technical Report No. 16. [and] Domain Specific Debugging Aids for Novice Programmers. Technical Report No. 17.
by: Eisenstadt, Marc, et al.
Published: (1981)
by: Eisenstadt, Marc, et al.
Published: (1981)
Faster Verified Explanations for Neural Networks
by: De Palma, Alessandro, et al.
Published: (2025)
by: De Palma, Alessandro, et al.
Published: (2025)
Vbox: Efficient Black-Box Serializability Verification
by: Sun, Weihua, et al.
Published: (2025)
by: Sun, Weihua, et al.
Published: (2025)
Membership Testing for Semantic Regular Expressions
by: Huang, Yifei, et al.
Published: (2024)
by: Huang, Yifei, et al.
Published: (2024)
Accurate Coverage Metrics for Compiler-Generated Debugging Information
by: Stinnett, J. Ryan, et al.
Published: (2024)
by: Stinnett, J. Ryan, et al.
Published: (2024)
Once4All: Skeleton-Guided SMT Solver Fuzzing with LLM-Synthesized Generators
by: Sun, Maolin, et al.
Published: (2025)
by: Sun, Maolin, et al.
Published: (2025)
Similar Items
-
Gray-Box Fuzzing in Local Space
by: Jonáš, Martin, et al.
Published: (2025) -
On Complementation of Nondeterministic Finite Automata without Full Determinization (Technical Report)
by: Holík, Lukáš, et al.
Published: (2025) -
Correct Black-Box Monitors for Distributed Deadlock Detection: Formalisation and Implementation (Technical Report)
by: Rowicki, Radosław Jan, et al.
Published: (2025) -
WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models
by: Yang, Chenyuan, et al.
Published: (2023) -
TENSURE: Fuzzing Sparse Tensor Compilers (Registered Report)
by: Mahathevan, Kabilan, et al.
Published: (2026)