Copertina

Validating Network Protocol Parsers with Traceable RFC Document Interpretation

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Zheng, Mingwei, Xie, Danning, Shi, Qingkai, Wang, Chengpeng, Zhang, Xiangyu
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Software Engineering Artificial Intelligence
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Large Language Models for Validating Network Protocol Parsers
di: Zheng, Mingwei, et al.
Pubblicazione: (2025)

CoRe: Benchmarking LLMs Code Reasoning Capabilities through Static Analysis Tasks
di: Xie, Danning, et al.
Pubblicazione: (2025)

RFCAudit: An LLM Agent for Functional Bug Detection in Network Protocols
di: Zheng, Mingwei, et al.
Pubblicazione: (2025)

Raw Pointer Rewriting with LLMs for Translating C to Safer Rust
di: Gao, Yifei, et al.
Pubblicazione: (2025)

On Interpreting the Effectiveness of Unsupervised Software Traceability with Information Theory
di: Palacio, David N., et al.
Pubblicazione: (2024)

TAI3: Testing Agent Integrity in Interpreting User Intent
di: Feng, Shiwei, et al.
Pubblicazione: (2025)

NESA: Relational Neuro-Symbolic Static Program Analysis
di: Wang, Chengpeng, et al.
Pubblicazione: (2024)

Evaluating the Use of LLMs for Documentation to Code Traceability
di: Alor, Ebube, et al.
Pubblicazione: (2025)

LogParser-LLM: Advancing Efficient Log Parsing with Large Language Models
di: Zhong, Aoxiao, et al.
Pubblicazione: (2024)

REPOFUSE: Repository-Level Code Completion with Fused Dual Context
di: Liang, Ming, et al.
Pubblicazione: (2024)

Traceability and Accountability in Role-Specialized Multi-Agent LLM Pipelines
di: Barrak, Amine
Pubblicazione: (2025)

Natural Language-Programming Language Software Traceability Link Recovery Needs More than Textual Similarity
di: Zou, Zhiyuan, et al.
Pubblicazione: (2025)

Understanding Automated Program Repair Agents Through the Lens of Traceability: An Empirical Study
di: Ceka, Ira, et al.
Pubblicazione: (2025)

Extracting Protocol Format as State Machine via Controlled Static Loop Analysis
di: Shi, Qingkai, et al.
Pubblicazione: (2023)

SpecMap: Hierarchical LLM Agent for Datasheet-to-Code Traceability Link Recovery in Systems Engineering
di: Nipane, Vedant, et al.
Pubblicazione: (2026)

RustEvo^2: An Evolving Benchmark for API Evolution in LLM-based Rust Code Generation
di: Liang, Linxi, et al.
Pubblicazione: (2025)

Cross-level Requirement Traceability: A Novel Approach Integrating Bag-of-Words and Word Embedding for Enhanced Similarity Functionality
di: Mohammad, Baher, et al.
Pubblicazione: (2024)

Bridging Generation and Training: A Systematic Review of Quality Issues in LLMs for Code
di: He, Kaifeng, et al.
Pubblicazione: (2026)

Beyond Functional Correctness: Investigating Coding Style Inconsistencies in Large Language Models
di: Wang, Yanlin, et al.
Pubblicazione: (2024)

WebCoderBench: Benchmarking Web Application Generation with Comprehensive and Interpretable Evaluation Metrics
di: Liu, Chenxu, et al.
Pubblicazione: (2026)

Rethinking Testing for LLM Applications: Characteristics, Challenges, and a Lightweight Interaction Protocol
di: Ma, Wei, et al.
Pubblicazione: (2025)

Generating High-Quality Datasets for Code Editing via Open-Source Language Models
di: Zhang, Zekai, et al.
Pubblicazione: (2025)

IncreRTL: Traceability-Guided Incremental RTL Generation under Requirement Evolution
di: Chen, Luanrong, et al.
Pubblicazione: (2026)

iPanda: An LLM-based Agent for Automated Conformance Testing of Communication Protocols
di: Sun, Xikai, et al.
Pubblicazione: (2025)

Enhancing Interpretability in Software Change Management with Chain-of-Thought Reasoning
di: Sun, Yongqian, et al.
Pubblicazione: (2025)

When the Specification Emerges: Benchmarking Faithfulness Loss in Long-Horizon Coding Agents
di: Yan, Lu, et al.
Pubblicazione: (2026)

An Ontology-based Approach Towards Traceable Behavior Specifications in Automated Driving
di: Salem, Nayel Fabian, et al.
Pubblicazione: (2024)

FlakyGuard: Automatically Fixing Flaky Tests at Industry Scale
di: Li, Chengpeng, et al.
Pubblicazione: (2025)

Validating LLM-Generated Programs with Metamorphic Prompt Testing
di: Wang, Xiaoyin, et al.
Pubblicazione: (2024)

Vul-RAG: Enhancing LLM-based Vulnerability Detection via Knowledge-level RAG
di: Du, Xueying, et al.
Pubblicazione: (2024)

Neuro-Symbolic Generation and Validation of Memory-Aware Formal Function Specifications
di: Zhang, Liao, et al.
Pubblicazione: (2026)

Agora: Toward Autonomous Bug Detection in Production-Level Consensus Protocols with LLM Agents
di: Liu, Xiang, et al.
Pubblicazione: (2026)

FailureMem: A Failure-Aware Multimodal Framework for Autonomous Software Repair
di: Ma, Ruize, et al.
Pubblicazione: (2026)

S3LLM: Large-Scale Scientific Software Understanding with LLMs using Source, Metadata, and Document
di: Shaik, Kareem, et al.
Pubblicazione: (2024)

Verification and Validation of Autonomous Systems
di: Shetiya, Sneha Sudhir, et al.
Pubblicazione: (2024)

QuanTest: Entanglement-Guided Testing of Quantum Neural Network Systems
di: Shi, Jinjing, et al.
Pubblicazione: (2024)

Learning From Developers: Towards Reliable Patch Validation at Scale for Linux
di: Lin, Chih-En, et al.
Pubblicazione: (2026)

Nova: Generative Language Models for Assembly Code with Hierarchical Attention and Contrastive Learning
di: Jiang, Nan, et al.
Pubblicazione: (2023)

ShortCoder: Knowledge-Augmented Syntax Optimization for Token-Efficient Code Generation
di: Liu, Sicong, et al.
Pubblicazione: (2026)

Automated Validation of COBOL to Java Transformation
di: Kumar, Atul, et al.
Pubblicazione: (2025)