Image de couverture de livre

LLM-Based Static Verification of Code Against Natural-Language Requirements: An Industrial Experience Report

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Zhou, Zhi Quan, Towey, Dave, Chen, Tsong Yueh
Format:	Preprint
Publié:	2026
Sujets:	Software Engineering
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Metamorphic Relation Generation: State of the Art and Visions for Future Research
par: Li, Rui, et autres
Publié: (2024)

Integrating Artificial Intelligence with Human Expertise: An In-depth Analysis of ChatGPT's Capabilities in Generating Metamorphic Relations
par: Zhang, Yifan, et autres
Publié: (2025)

Requirements-Based Test Generation: A Comprehensive Survey
par: Yang, Zhenzhen, et autres
Publié: (2025)

Bidirectional Empowerment of Metamorphic Testing and Large Language Models: A Systematic Survey
par: Zheng, Zheng, et autres
Publié: (2026)

TransformCode: A Contrastive Learning Framework for Code Embedding via Subtree Transformation
par: Xian, Zixiang, et autres
Publié: (2023)

From Particles to Perils: SVGD-Based Hazardous Scenario Generation for Autonomous Driving Systems Testing
par: Liang, Linfeng, et autres
Publié: (2026)

Large Language Models for Automated Web-Form-Test Generation: An Empirical Study
par: Li, Tao, et autres
Publié: (2024)

LRASGen: LLM-based RESTful API Specification Generation
par: Deng, Sida, et autres
Publié: (2025)

Large Language Models for Mobile GUI Text Input Generation: An Empirical Study
par: Cui, Chenhui, et autres
Publié: (2024)

MORTAR: Multi-turn Metamorphic Testing for LLM-based Dialogue Systems
par: Guo, Guoxiang, et autres
Publié: (2024)

GUISpector: An MLLM Agent Framework for Automated Verification of Natural Language Requirements in GUI Prototypes
par: Kolthoff, Kristian, et autres
Publié: (2025)

LLMCFG-TGen: Using LLM-Generated Control Flow Graphs to Automatically Create Test Cases from Use Cases
par: Yang, Zhenzhen, et autres
Publié: (2025)

A System Model Generation Benchmark from Natural Language Requirements
par: Jin, Dongming, et autres
Publié: (2025)

Toward Cost-effective Adaptive Random Testing: An Approximate Nearest Neighbor Approach
par: Huang, Rubing, et autres
Publié: (2023)

Automated LTL Specification Generation from Industrial Aerospace Requirements
par: Ma, Zhi, et autres
Publié: (2026)

Aligning Requirement for Large Language Model's Code Generation
par: Tian, Zhao, et autres
Publié: (2025)

R2Code: A Self-Reflective LLM Framework for Requirements-to-Code Traceability
par: Wang, Yifei, et autres
Publié: (2026)

Contract Based Verification of Non-functional Requirements for Embedded Automotive C Code
par: Amilon, Jesper, et autres
Publié: (2026)

Natural Language Processing for Requirements Traceability
par: Guo, Jin L. C., et autres
Publié: (2024)

CodeGrad: Integrating Multi-Step Verification with Gradient-Based LLM Refinement
par: Zhang, Yueke, et autres
Publié: (2025)

From Chat to Interview: Agentic Requirements Elicitation with an Experience Ontology
par: Jin, Dongming, et autres
Publié: (2026)

STALL+: Boosting LLM-based Repository-level Code Completion with Static Analysis
par: Liu, Junwei, et autres
Publié: (2024)

Inducing Vulnerable Code Generation in LLM Coding Assistants
par: Zeng, Binqi, et autres
Publié: (2025)

Uncovering Systematic Failures of LLMs in Verifying Code Against Natural Language Specifications
par: Jin, Haolin, et autres
Publié: (2025)

Bridging the Gap between User Intent and LLM: A Requirement Alignment Approach for Code Generation
par: Li, Jia, et autres
Publié: (2026)

From Prompting to Verification: How Experience Shapes Vibe Coding Practices
par: Fawzy, Ahmed, et autres
Publié: (2026)

LLM-Assisted Model-Based Fuzzing of Protocol Implementations
par: Huang, Changze, et autres
Publié: (2025)

Agents4PLC: Automating Closed-loop PLC Code Generation and Verification in Industrial Control Systems using LLM-based Agents
par: Liu, Zihan, et autres
Publié: (2024)

Experience Report on the Adaptable Integration of Requirements Engineering Courses into Curricula for Professionals
par: Kosenkov, Oleksandr, et autres
Publié: (2026)

From Natural Language to Verified Code: Toward AI Assisted Problem-to-Code Generation with Dafny-Based Formal Verification
par: Erfan, Md, et autres
Publié: (2026)

Static Code Analysis with CodeChecker
par: Horvath, Gabor, et autres
Publié: (2024)

A Survey on Web Application Testing: A Decade of Evolution
par: Li, Tao, et autres
Publié: (2024)

Context Before Code: An Experience Report on Vibe Coding in Practice
par: Shuvo, Md Nasir Uddin, et autres
Publié: (2026)

NOMAD: A Multi-Agent LLM System for UML Class Diagram Generation from Natural Language Requirements
par: Giannouris, Polydoros, et autres
Publié: (2025)

LitterBox+: An Extensible Framework for LLM-enhanced Scratch Static Code Analysis
par: Fein, Benedikt, et autres
Publié: (2025)

Does Co-Development with AI Assistants Lead to More Maintainable Code? A Registered Report
par: Borg, Markus, et autres
Publié: (2024)

A Large-Scale Collection Of (Non-)Actionable Static Code Analysis Reports
par: Kószó, Dávid, et autres
Publié: (2025)

Requirements Coverage-Guided Minimization for Natural Language Test Cases
par: Pan, Rongqi, et autres
Publié: (2025)

Enchanting Program Specification Synthesis by Large Language Models using Static Analysis and Program Verification
par: Wen, Cheng, et autres
Publié: (2024)

Natural Language Requirements Testability Measurement Based on Requirement Smells
par: Zakeri-Nasrabadi, Morteza, et autres
Publié: (2024)