Cover Image

Language-Based Protocol Testing

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Liggesmeyer, Alexander, Amaya, José Antonio Zamudio, Zeller, Andreas
Format:	Preprint
Published:	2025
Subjects:	Software Engineering 68M15 (Primary), 68M12, 68Q42 (Secondary) D.2.5; C.2.2; F.4.2
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

High-Performance Generation of Constrained Inputs
by: Crump, Addison, et al.
Published: (2025)

Synthesizing Precise Protocol Specs from Natural Language for Effective Test Generation
by: Liu, Kuangxiangzi, et al.
Published: (2025)

Black-box Context-free Grammar Inference for Readable & Natural Grammars
by: Arefin, Mohammad Rifat, et al.
Published: (2025)

Learning Program Behavioral Models from Synthesized Input-Output Pairs
by: Mammadov, Tural, et al.
Published: (2024)

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

A Comprehensive Mathematical and System-Level Analysis of Autonomous Vehicle Timelines
by: Perrone, Paul
Published: (2025)

Quantum Search without Global Diffusion
by: Burke, John, et al.
Published: (2026)

The number of primitive words of unbounded exponent in the language of an HD0L-system is finite
by: Klouda, Karel, et al.
Published: (2021)

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

Universal Conditional Logic: A Formal Language for Prompt Engineering
by: Mikinka, Anthony
Published: (2025)

SDVDiag: Using Context-Aware Causality Mining for the Diagnosis of Connected Vehicle Functions
by: Weiß, Matthias, et al.
Published: (2026)

Quantum Algorithms for the Minimum Steiner Tree problem with application to Binary Near-Perfect Phylogenies
by: Meng, Lingfa, et al.
Published: (2025)

Computational Hardness of Reinforcement Learning with Partial $q^π$-Realizability
by: Karimi, Shayan, et al.
Published: (2025)

Supporting software engineering tasks with agentic AI: Demonstration on document retrieval and test scenario generation
by: Kica, Marian, et al.
Published: (2026)

SwarmFoam: An OpenFOAM Multi-Agent System Based on Multiple Types of Large Language Models
by: Yang, Chunwei, et al.
Published: (2026)

LLM Agents for Generating Microservice-based Applications: how complex is your specification?
by: Yellin, Daniel M.
Published: (2025)

Quantum Advantage in Computational Chemistry?
by: Gundlach, Hans, et al.
Published: (2025)

Fuzzy Logic Guided Reward Function Variation: An Oracle for Testing Reinforcement Learning Programs
by: Zhang, Shiyu, et al.
Published: (2024)

Case Studies and Reflections on Agentic Software Engineering for Rapid Development of Digital Music Instruments
by: Yee-King, Matthew John
Published: (2026)

Languages of Words of Low Automatic Complexity Are Hard to Compute
by: Chen, Joey, et al.
Published: (2025)

Deterministic Quantum Search via Recursive Oracle Expansion
by: Burke, John, et al.
Published: (2025)

Trace Validation of Unmodified Concurrent Systems with OmniLink
by: Hackett, Finn, et al.
Published: (2026)

Worst-Case Discovery and Runtime Protection for RL-Based Network Controllers
by: Hè, Hongyu, et al.
Published: (2026)

Constraint Satisfaction Problems over Finitely Bounded Homogeneous Structures: a Dichotomy between FO and L-hard
by: Dorochko, Leonid, et al.
Published: (2026)

On Graph Grammars and Games
by: Vijayakumar, Jayakrishna, et al.
Published: (2024)

NP-hard problems are not in BQP
by: Czerwinski, Reiner
Published: (2023)

OpCode-Based Malware Classification Using Machine Learning and Deep Learning Techniques
by: Saini, Varij, et al.
Published: (2025)

SCION: Size-aware Policy Orchestration for Nonstationary Object Caches (Long Paper Version)
by: Wang, Qizhi
Published: (2026)

Mathematical Foundations for Peer-to-Peer Lattice Computation
by: Gorinevski, Danil
Published: (2026)

Renting Edge Computing Resources for Service Hosting
by: Madnaik, Aadesh, et al.
Published: (2022)

Computational Complexity of Determining the Assembly Index
by: Masierak, Piotr
Published: (2026)

Large Language Models in Software Documentation and Modeling: A Literature Review and Findings
by: Radosky, Lukas, et al.
Published: (2026)

Fully Dynamic Breadth First Search and Spanning Trees in Directed Graphs
by: Morse, Gregory, et al.
Published: (2026)

A Secure Communication Protocol for Remote Keyless Entry System with Adaptive Adjustment of Transmission Parameters
by: Guo, Jingjing, et al.
Published: (2025)

Termination of Innermost-Terminating Right-Linear Overlay Term Rewrite Systems (Full Version)
by: Nishida, Naoki
Published: (2026)

Rewriting Induction for Existentially Quantified Equations in Logically Constrained Rewriting (Full Version)
by: Nishida, Naoki, et al.
Published: (2026)

Abstract Framework for All-Path Reachability Analysis toward Safety and Liveness Verification (Full Version)
by: Kojima, Misaki, et al.
Published: (2026)

Anti-Context-Free languages
by: Cardó, Carles
Published: (2024)

A quantum implementation of high-order power method for estimating geometric entanglement of pure states
by: Semenov, Andrii, et al.
Published: (2024)

An SoS Entropy Dichotomy via Windowed Hypercontractivity
by: Lela, Marko
Published: (2025)