Imagen de Portada

Synthesizing Precise Protocol Specs from Natural Language for Effective Test Generation

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Liu, Kuangxiangzi, Chakraborty, Dhiman, Liggesmeyer, Alexander, Zeller, Andreas
Formato:	Preprint
Publicado:	2025
Materias:	Software Engineering Machine Learning Networking and Internet Architecture 68N30 D.2.5; D.2.1; F.4.2; C.2.2
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Language-Based Protocol Testing
por: Liggesmeyer, Alexander, et al.
Publicado: (2025)

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

TDAD: Test-Driven Agentic Development - Reducing Code Regressions in AI Coding Agents via Graph-Based Impact Analysis
por: Alonso, Pepe, et al.
Publicado: (2026)

Conflict Essences for Transformation Rules with Nested Application Conditions -- Long Version
por: Lauer, Alexander, et al.
Publicado: (2026)

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

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

Using Voice and Biofeedback to Predict User Engagement during Product Feedback Interviews
por: Ferrari, Alessio, et al.
Publicado: (2021)

Assessing Reliability of Statistical Maximum Coverage Estimators in Fuzzing
por: Liyanage, Danushka, et al.
Publicado: (2025)

Evaluating Developer-written Unit Test Case Reduction for Java -- A Replication Study
por: Le, Tuan D, et al.
Publicado: (2025)

The ACPATH Metric: Precise Estimation of the Number of Acyclic Paths in C-like Languages
por: Bagnara, Roberto, et al.
Publicado: (2016)

Addressing Visual Impairments with Model-Driven Engineering: A Systematic Literature Review
por: Michael, Judith, et al.
Publicado: (2025)

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

DRS-OSS: Practical Diff Risk Scoring with LLMs
por: Sayedsalehi, Ali, et al.
Publicado: (2025)

Three Decades of Formal Methods in Business Process Compliance: A Systematic Literature Review
por: López, Hugo A., et al.
Publicado: (2024)

Synthesizing Test Cases for Narrowing Specification Candidates
por: Cunha, Alcino, et al.
Publicado: (2025)

Utilizing Precise and Complete Code Context to Guide LLM in Automatic False Positive Mitigation
por: Chen, Jinbao, et al.
Publicado: (2024)

NES: An Instruction-Free, Low-Latency Next Edit Suggestion Framework Powered by Learned Historical Editing Trajectories
por: Chen, Xinfang, et al.
Publicado: (2025)

Utilization of Pre-trained Language Model for Adapter-based Knowledge Transfer in Software Engineering
por: Saberi, Iman, et al.
Publicado: (2023)

AI for software engineering: from probable to provable
por: Meyer, Bertrand
Publicado: (2025)

Feature-Factory: Automating Software Feature Integration Using Generative AI
por: Vsevolodovna, Ruslan Idelfonso Magana
Publicado: (2024)

AdvFusion: Adapter-based Knowledge Transfer for Code Summarization on Code Language Models
por: Saberi, Iman, et al.
Publicado: (2023)

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

Context Engineering for Multi-Agent LLM Code Assistants Using Elicit, NotebookLM, ChatGPT, and Claude Code
por: Haseeb, Muhammad
Publicado: (2025)

FORTE: An Open-Source System for Cost-Effective and Scalable Environmental Monitoring
por: Pfister, Zoe, et al.
Publicado: (2025)

PICKLES: a Natural Language Framework for Requirement Specification and Model-Based Testing
por: Rodríguez, María Belén, et al.
Publicado: (2026)

Software Testing at the Network Layer: Automated HTTP API Quality Assessment and Security Analysis of Production Web Applications
por: Mughal, Ali Hassaan, et al.
Publicado: (2026)

SLEAN: Simple Lightweight Ensemble Analysis Network for Multi-Provider LLM Coordination: Design, Implementation, and Vibe Coding Bug Investigation Case Study
por: Vargas, Matheus J. T.
Publicado: (2025)

RepoAudit: An Autonomous LLM-Agent for Repository-Level Code Auditing
por: Guo, Jinyao, et al.
Publicado: (2025)

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

Test-Driven AI Agent Definition (TDAD): Compiling Tool-Using Agents from Behavioral Specifications
por: Rehan, Tzafrir
Publicado: (2026)

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

Adding complex numbers to expression template algorithmic differentiation tools
por: Sagebaum, Max, et al.
Publicado: (2025)

Algorithmic differentiation for domain specific languages in C++ with expression templates
por: Sagebaum, Max, et al.
Publicado: (2026)

Finding a Crab in the C: Assured Translation via Comparative Symbolic Execution
por: Helbling, Caleb, et al.
Publicado: (2026)

cozy: Comparative Symbolic Execution for Binary Programs
por: Helbling, Caleb, et al.
Publicado: (2025)

No Traffic to Cry: Traffic-Oblivious Link Deactivation for Green Traffic Engineering
por: Ilsen, Max, et al.
Publicado: (2026)

Generative AI and the Transformation of Software Development Practices
por: Acharya, Vivek
Publicado: (2025)

Directed Grammar-Based Test Generation
por: Kirschner, Lukas, et al.
Publicado: (2025)

Validating Formal Specifications with LLM-generated Test Cases
por: Cunha, Alcino, et al.
Publicado: (2025)

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