Image de couverture de livre

High-Performance Generation of Constrained Inputs

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Crump, Addison, Turcotte, Alexi, Amaya, José Antonio Zamudio, Zeller, Andreas
Format:	Preprint
Publié:	2025
Sujets:	Software Engineering Formal Languages and Automata Theory Programming Languages 68N15, 68N20, 68Q42 D.2.5; D.3.4; F.4.2
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Black-box Context-free Grammar Inference for Readable & Natural Grammars
par: Arefin, Mohammad Rifat, et autres
Publié: (2025)

Inferring Input Grammars from Code with Symbolic Parsing
par: Bettscheider, Leon, et autres
Publié: (2025)

Anti-Context-Free languages
par: Cardó, Carles
Publié: (2024)

Around Context-Free Grammars -- a Normal Form, a Representation Theorem, and a Regular Approximation
par: Cojocaru, Liliana
Publié: (2015)

Tool-Assisted Conformance Checking to Reference Process Models
par: Rumpe, Bernhard, et autres
Publié: (2025)

Language-Based Protocol Testing
par: Liggesmeyer, Alexander, et autres
Publié: (2025)

Contract-based Verification of Digital Twins
par: Naeem, Muhammad, et autres
Publié: (2025)

Decision Problems on Copying and Shuffling
par: Halava, Vesa, et autres
Publié: (2023)

Well-Quasi-Orderings on Word Languages
par: Lhote, Nathan, et autres
Publié: (2025)

The Generation-Recognition Asymmetry: Six Dimensions of a Fundamental Divide in Formal Language Theory
par: Peyrichou, Romain
Publié: (2026)

Walking on Words
par: Pratt-Hartmann, Ian
Publié: (2022)

Languages of Words of Low Automatic Complexity Are Hard to Compute
par: Chen, Joey, et autres
Publié: (2025)

Dynamic Symbolic Execution for Semantic Difference Analysis of Component and Connector Architectures
par: Grahl, Johanna, et autres
Publié: (2025)

New Fault Domains for Conformance Testing of Finite State Machines
par: Vaandrager, Frits, et autres
Publié: (2024)

Systematic Evaluation of Black-Box Checking for Fast Bug Detection
par: Pellen, Bram, et autres
Publié: (2025)

Learning Program Behavioral Models from Synthesized Input-Output Pairs
par: Mammadov, Tural, et autres
Publié: (2024)

On Graph Grammars and Games
par: Vijayakumar, Jayakrishna, et autres
Publié: (2024)

Rewriting Systems on Arbitrary Monoids
par: Magalhães, Eduardo
Publié: (2026)

From higher-order rewriting systems to higher-order categorial algebras and higher-order Curry-Howard isomorphisms
par: Vidal, Juan Climent, et autres
Publié: (2024)

On Quantum Context-Free Grammars
par: Aruja, Merina, et autres
Publié: (2025)

LR Parsing of Permutation Phrases
par: Kostičová, Jana
Publié: (2024)

Disproving Termination of Non-Erasing Sole Combinatory Calculus with Tree Automata (Full Version)
par: Nakano, Keisuke, et autres
Publié: (2024)

Lindenmayer graph languages, first-order theories and expanders
par: Knapik, Teodor
Publié: (2024)

Solutions of Word Equations over Partially Commutative Structures
par: Diekert, Volker, et autres
Publié: (2016)

Erlang Binary and Source Code Obfuscation
par: Morse, Gregory, et autres
Publié: (2026)

Evaluating Massively Parallel Algorithms for DFA Minimisation, Equivalence Checking and Inclusion Checking
par: Heemstra, Jan, et autres
Publié: (2025)

Synthesizing Precise Protocol Specs from Natural Language for Effective Test Generation
par: Liu, Kuangxiangzi, et autres
Publié: (2025)

Multiple Query Satisfiability of Constrained Horn Clauses
par: De Angelis, Emanuele, et autres
Publié: (2022)

Emulation-Completeness of Programming Languages
par: Morse, Gregory, et autres
Publié: (2026)

Universal Conditional Logic: A Formal Language for Prompt Engineering
par: Mikinka, Anthony
Publié: (2025)

Free inverse monoids are co-context-free
par: Brough, Tara Macalister, et autres
Publié: (2025)

CrossTL: A Universal Programming Language Translator with Unified Intermediate Representation
par: Niketan, Nripesh, et autres
Publié: (2025)

A polynomial-time algorithm for the automatic Baire property
par: Staiger, Ludwig
Publié: (2025)

On Languages Describing Large Graph Classes
par: Fernau, Henning, et autres
Publié: (2026)

A note on Automatic Baire property
par: Staiger, Ludwig
Publié: (2025)

Languages given by Finite Automata over the Unary Alphabet
par: Czerwiński, Wojciech, et autres
Publié: (2023)

On the ET0L subgroup membership problem in bounded automata groups
par: Bishop, Alex, et autres
Publié: (2024)

Idempotent Slices with Applications to Code-Size Reduction
par: de Azevedo, Rafael Alvarenga, et autres
Publié: (2026)

On the Intersection Problem for Quantum Finite Automata
par: Benso, Andrea, et autres
Publié: (2024)

Jump Complexity of Deterministic Finite Automata with Translucent Letters
par: Fazekas, Szilárd Zsolt, et autres
Publié: (2025)