Buchumschlag

Finding $\forall\exists$ Hyperbugs using Symbolic Execution

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Correnson, Arthur, Niessen, Tobias, Finkbeiner, Bernd, Weissenbacher, Georg
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Programming Languages
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Coinductive Proofs for Temporal Hyperliveness
von: Correnson, Arthur, et al.
Veröffentlicht: (2025)

Pacing Types: Safe Monitoring of Asynchronous Streams
von: Kohn, Florian, et al.
Veröffentlicht: (2025)

Pacing Types for Asynchronous Stream Equations
von: Kohn, Florian, et al.
Veröffentlicht: (2026)

An Intermediate Program Representation for Optimizing Stream-Based Languages
von: Baumeister, Jan, et al.
Veröffentlicht: (2025)

Encode the $\forall\exists$ Relational Hoare Logic into Standard Hoare Logic
von: Wu, Shushu, et al.
Veröffentlicht: (2025)

On Conformant Planning and Model-Checking of $\exists^*\forall^*$ Hyperproperties
von: Beutner, Raven, et al.
Veröffentlicht: (2025)

A Deductive System for Contract Satisfaction Proofs
von: Correnson, Arthur, et al.
Veröffentlicht: (2026)

Verifying Asynchronous Hyperproperties in Reactive Systems
von: Beutner, Raven, et al.
Veröffentlicht: (2025)

Generating Inputs for Grammar Mining using Dynamic Symbolic Execution
von: Pointner, Andreas, et al.
Veröffentlicht: (2025)

Owi: Performant Parallel Symbolic Execution Made Easy, an Application to WebAssembly
von: Andrès, Léo, et al.
Veröffentlicht: (2024)

Type-safe Monitoring of Parameterized Streams
von: Baumeister, Jan, et al.
Veröffentlicht: (2026)

Cutting Corners on Uncertainty: Zonotope Abstractions for Stream-based Runtime Monitoring
von: Finkbeiner, Bernd, et al.
Veröffentlicht: (2026)

Large Language Model Powered Symbolic Execution
von: Li, Yihe, et al.
Veröffentlicht: (2025)

Soteria: Efficient Symbolic Execution as a Functional Library
von: Ayoun, Sacha-Élie, et al.
Veröffentlicht: (2025)

Accurate and Extensible Symbolic Execution of Binary Code based on Formal ISA Semantics
von: Tempel, Sören, et al.
Veröffentlicht: (2024)

Symbolic Execution for Quantum Error Correction Programs
von: Fang, Wang, et al.
Veröffentlicht: (2023)

Multi-Pass Targeted Dynamic Symbolic Execution
von: Yavuz, Tuba
Veröffentlicht: (2024)

Compositional Symbolic Execution for the Next 700 Memory Models (Extended Version)
von: Lööw, Andreas, et al.
Veröffentlicht: (2025)

Syntax-Guided Automated Program Repair for Hyperproperties
von: Beutner, Raven, et al.
Veröffentlicht: (2024)

Gillian Debugging: Swinging Through the (Compositional Symbolic Execution) Trees, Extended Version
von: Karmios, Nat, et al.
Veröffentlicht: (2026)

Efficient Symbolic Execution of Software under Fault Attacks
von: Fang, Yuzhou, et al.
Veröffentlicht: (2025)

Python Symbolic Execution with LLM-powered Code Generation
von: Wang, Wenhan, et al.
Veröffentlicht: (2024)

DOCE: Finding the Sweet Spot for Execution-Based Code Generation
von: Li, Haau-Sing, et al.
Veröffentlicht: (2024)

Derivative-Guided Symbolic Execution
von: Yuan, Yongwei, et al.
Veröffentlicht: (2024)

Taming the Hydra: Targeted Control-Flow Transformations for Dynamic Symbolic Execution
von: Saumya, Charitha, et al.
Veröffentlicht: (2023)

Defusing Logic Bombs in Symbolic Execution with LLM-Generated Ghost Code
von: Bouras, Dimitrios Stamatios, et al.
Veröffentlicht: (2026)

Compositional Symbolic Execution for Correctness and Incorrectness Reasoning (Extended Version)
von: Lööw, Andreas, et al.
Veröffentlicht: (2024)

Can Large Language Models Simulate Symbolic Execution Output Like KLEE?
von: Feng, Rong, et al.
Veröffentlicht: (2025)

Comparing Methods for the Cross-Level Verification of SystemC Peripherals with Symbolic Execution
von: Rudkowski, Karl Aaron, et al.
Veröffentlicht: (2025)

Model2Kernel: Model-Aware Symbolic Execution For Safe CUDA Kernels
von: He, Mengting, et al.
Veröffentlicht: (2026)

Teaching LLMs Program Semantics via Symbolic Execution Traces
von: Bayer, Jonas, et al.
Veröffentlicht: (2026)

Forward Symbolic Execution for Trustworthy Automation of Binary Code Verification
von: Lindner, Andreas, et al.
Veröffentlicht: (2023)

Literate Execution
von: Bond, Joe, et al.
Veröffentlicht: (2026)

An Execution Model for RICE
von: Libby, Steven
Veröffentlicht: (2025)

$\forall$uto$\exists$val: Autonomous Assessment of LLMs in Formal Synthesis and Interpretation Tasks
von: Karia, Rushang, et al.
Veröffentlicht: (2024)

Symbolic Execution Meets Multi-LLM Orchestration: Detecting Memory Vulnerabilities in Incomplete Rust CVE Snippets
von: Abdelrazek, Zeyad, et al.
Veröffentlicht: (2026)

Optimized Execution of FreeCHR
von: Rechenberger, Sascha, et al.
Veröffentlicht: (2025)

Synthesizing Formal Semantics from Executable Interpreters
von: Liu, Jiangyi, et al.
Veröffentlicht: (2024)

KAIJU: An Executive Kernel for Intent-Gated Execution of LLM Agents
von: Guerin, Cormac, et al.
Veröffentlicht: (2026)

Active Learning of Symbolic NetKAT Automata
von: Moeller, Mark, et al.
Veröffentlicht: (2025)