Imagen de Portada

Generating Inputs for Grammar Mining using Dynamic Symbolic Execution

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Pointner, Andreas, Pichler, Josef, Prähofer, Herbert
Formato:	Preprint
Publicado:	2025
Materias:	Programming Languages
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Inferring Attributed Grammars from Parser Implementations
por: Pointner, Andreas, et al.
Publicado: (2025)

Finding $\forall\exists$ Hyperbugs using Symbolic Execution
por: Correnson, Arthur, et al.
Publicado: (2025)

Multi-Pass Targeted Dynamic Symbolic Execution
por: Yavuz, Tuba
Publicado: (2024)

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

Python Symbolic Execution with LLM-powered Code Generation
por: Wang, Wenhan, et al.
Publicado: (2024)

V-Star: Learning Visibly Pushdown Grammars from Program Inputs
por: Jia, Xiaodong, et al.
Publicado: (2024)

Large Language Model Powered Symbolic Execution
por: Li, Yihe, et al.
Publicado: (2025)

Taming the Hydra: Targeted Control-Flow Transformations for Dynamic Symbolic Execution
por: Saumya, Charitha, et al.
Publicado: (2023)

Soteria: Efficient Symbolic Execution as a Functional Library
por: Ayoun, Sacha-Élie, et al.
Publicado: (2025)

Defusing Logic Bombs in Symbolic Execution with LLM-Generated Ghost Code
por: Bouras, Dimitrios Stamatios, et al.
Publicado: (2026)

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

Symbolic Execution for Quantum Error Correction Programs
por: Fang, Wang, et al.
Publicado: (2023)

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

Gillian Debugging: Swinging Through the (Compositional Symbolic Execution) Trees, Extended Version
por: Karmios, Nat, et al.
Publicado: (2026)

Efficient Symbolic Execution of Software under Fault Attacks
por: Fang, Yuzhou, et al.
Publicado: (2025)

Forward Symbolic Execution for Trustworthy Automation of Binary Code Verification
por: Lindner, Andreas, et al.
Publicado: (2023)

Derivative-Guided Symbolic Execution
por: Yuan, Yongwei, et al.
Publicado: (2024)

CSSTs: A Dynamic Data Structure for Partial Orders in Concurrent Execution Analysis
por: Tunç, Hünkar Can, et al.
Publicado: (2024)

Automatic Generation of Python Programs Using Context-Free Grammars
por: Yamani, Kamel, et al.
Publicado: (2024)

Can Large Language Models Simulate Symbolic Execution Output Like KLEE?
por: Feng, Rong, et al.
Publicado: (2025)

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

Model2Kernel: Model-Aware Symbolic Execution For Safe CUDA Kernels
por: He, Mengting, et al.
Publicado: (2026)

Inferring Input Grammars from Code with Symbolic Parsing
por: Bettscheider, Leon, et al.
Publicado: (2025)

Teaching LLMs Program Semantics via Symbolic Execution Traces
por: Bayer, Jonas, et al.
Publicado: (2026)

Grammar-Aware Literate Generative Mathematical Programming with Compiler-in-the-Loop
por: Rossi, Roberto, et al.
Publicado: (2026)

SynCode: LLM Generation with Grammar Augmentation
por: Ugare, Shubham, et al.
Publicado: (2024)

Grammar Repair with Examples and Tree Automata: Extended Version
por: Lee, Yunjeong, et al.
Publicado: (2026)

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

Literate Execution
por: Bond, Joe, et al.
Publicado: (2026)

HyGenar: An LLM-Driven Hybrid Genetic Algorithm for Few-Shot Grammar Generation
por: Tang, Weizhi, et al.
Publicado: (2025)

Executing as You Generate: Hiding Execution Latency in LLM Code Generation
por: Sun, Zhensu, et al.
Publicado: (2026)

Context-Free Grammar Inference for Complex Programming Languages in Black Box Settings
por: Li, Feifei, et al.
Publicado: (2026)

Input-Gen: Guided Generation of Stateful Inputs for Testing, Tuning, and Training
por: Ivanov, Ivan R., et al.
Publicado: (2024)

An Execution Model for RICE
por: Libby, Steven
Publicado: (2025)

Detecting and Explaining (In-)equivalence of Context-Free Grammars
por: Schmellenkamp, Marko, et al.
Publicado: (2024)

DOCE: Finding the Sweet Spot for Execution-Based Code Generation
por: Li, Haau-Sing, et al.
Publicado: (2024)

We've Got You Covered: Type-Guided Repair of Incomplete Input Generators
por: LaFontaine, Patrick, et al.
Publicado: (2025)

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

Optimized Execution of FreeCHR
por: Rechenberger, Sascha, et al.
Publicado: (2025)

Grammar-Based Code Representation: Is It a Worthy Pursuit for LLMs?
por: Liang, Qingyuan, et al.
Publicado: (2025)