Image de couverture de livre

Validating Network Protocol Parsers with Traceable RFC Document Interpretation

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Zheng, Mingwei, Xie, Danning, Shi, Qingkai, Wang, Chengpeng, Zhang, Xiangyu
Format:	Preprint
Publié:	2025
Sujets:	Software Engineering Artificial Intelligence
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Large Language Models for Validating Network Protocol Parsers
par: Zheng, Mingwei, et autres
Publié: (2025)

CoRe: Benchmarking LLMs Code Reasoning Capabilities through Static Analysis Tasks
par: Xie, Danning, et autres
Publié: (2025)

RFCAudit: An LLM Agent for Functional Bug Detection in Network Protocols
par: Zheng, Mingwei, et autres
Publié: (2025)

Raw Pointer Rewriting with LLMs for Translating C to Safer Rust
par: Gao, Yifei, et autres
Publié: (2025)

On Interpreting the Effectiveness of Unsupervised Software Traceability with Information Theory
par: Palacio, David N., et autres
Publié: (2024)

TAI3: Testing Agent Integrity in Interpreting User Intent
par: Feng, Shiwei, et autres
Publié: (2025)

NESA: Relational Neuro-Symbolic Static Program Analysis
par: Wang, Chengpeng, et autres
Publié: (2024)

Evaluating the Use of LLMs for Documentation to Code Traceability
par: Alor, Ebube, et autres
Publié: (2025)

LogParser-LLM: Advancing Efficient Log Parsing with Large Language Models
par: Zhong, Aoxiao, et autres
Publié: (2024)

REPOFUSE: Repository-Level Code Completion with Fused Dual Context
par: Liang, Ming, et autres
Publié: (2024)

Traceability and Accountability in Role-Specialized Multi-Agent LLM Pipelines
par: Barrak, Amine
Publié: (2025)

Natural Language-Programming Language Software Traceability Link Recovery Needs More than Textual Similarity
par: Zou, Zhiyuan, et autres
Publié: (2025)

Understanding Automated Program Repair Agents Through the Lens of Traceability: An Empirical Study
par: Ceka, Ira, et autres
Publié: (2025)

Extracting Protocol Format as State Machine via Controlled Static Loop Analysis
par: Shi, Qingkai, et autres
Publié: (2023)

SpecMap: Hierarchical LLM Agent for Datasheet-to-Code Traceability Link Recovery in Systems Engineering
par: Nipane, Vedant, et autres
Publié: (2026)

RustEvo^2: An Evolving Benchmark for API Evolution in LLM-based Rust Code Generation
par: Liang, Linxi, et autres
Publié: (2025)

Cross-level Requirement Traceability: A Novel Approach Integrating Bag-of-Words and Word Embedding for Enhanced Similarity Functionality
par: Mohammad, Baher, et autres
Publié: (2024)

Bridging Generation and Training: A Systematic Review of Quality Issues in LLMs for Code
par: He, Kaifeng, et autres
Publié: (2026)

Beyond Functional Correctness: Investigating Coding Style Inconsistencies in Large Language Models
par: Wang, Yanlin, et autres
Publié: (2024)

WebCoderBench: Benchmarking Web Application Generation with Comprehensive and Interpretable Evaluation Metrics
par: Liu, Chenxu, et autres
Publié: (2026)

Rethinking Testing for LLM Applications: Characteristics, Challenges, and a Lightweight Interaction Protocol
par: Ma, Wei, et autres
Publié: (2025)

Generating High-Quality Datasets for Code Editing via Open-Source Language Models
par: Zhang, Zekai, et autres
Publié: (2025)

IncreRTL: Traceability-Guided Incremental RTL Generation under Requirement Evolution
par: Chen, Luanrong, et autres
Publié: (2026)

iPanda: An LLM-based Agent for Automated Conformance Testing of Communication Protocols
par: Sun, Xikai, et autres
Publié: (2025)

Enhancing Interpretability in Software Change Management with Chain-of-Thought Reasoning
par: Sun, Yongqian, et autres
Publié: (2025)

When the Specification Emerges: Benchmarking Faithfulness Loss in Long-Horizon Coding Agents
par: Yan, Lu, et autres
Publié: (2026)

An Ontology-based Approach Towards Traceable Behavior Specifications in Automated Driving
par: Salem, Nayel Fabian, et autres
Publié: (2024)

FlakyGuard: Automatically Fixing Flaky Tests at Industry Scale
par: Li, Chengpeng, et autres
Publié: (2025)

Validating LLM-Generated Programs with Metamorphic Prompt Testing
par: Wang, Xiaoyin, et autres
Publié: (2024)

Vul-RAG: Enhancing LLM-based Vulnerability Detection via Knowledge-level RAG
par: Du, Xueying, et autres
Publié: (2024)

Neuro-Symbolic Generation and Validation of Memory-Aware Formal Function Specifications
par: Zhang, Liao, et autres
Publié: (2026)

Agora: Toward Autonomous Bug Detection in Production-Level Consensus Protocols with LLM Agents
par: Liu, Xiang, et autres
Publié: (2026)

FailureMem: A Failure-Aware Multimodal Framework for Autonomous Software Repair
par: Ma, Ruize, et autres
Publié: (2026)

S3LLM: Large-Scale Scientific Software Understanding with LLMs using Source, Metadata, and Document
par: Shaik, Kareem, et autres
Publié: (2024)

Verification and Validation of Autonomous Systems
par: Shetiya, Sneha Sudhir, et autres
Publié: (2024)

QuanTest: Entanglement-Guided Testing of Quantum Neural Network Systems
par: Shi, Jinjing, et autres
Publié: (2024)

Learning From Developers: Towards Reliable Patch Validation at Scale for Linux
par: Lin, Chih-En, et autres
Publié: (2026)

Nova: Generative Language Models for Assembly Code with Hierarchical Attention and Contrastive Learning
par: Jiang, Nan, et autres
Publié: (2023)

ShortCoder: Knowledge-Augmented Syntax Optimization for Token-Efficient Code Generation
par: Liu, Sicong, et autres
Publié: (2026)

Automated Validation of COBOL to Java Transformation
par: Kumar, Atul, et autres
Publié: (2025)