Cover Image

Incorporating Verification Standards for Security Requirements Generation from Functional Specifications

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Lian, Xiaoli, Wang, Shuaisong, Zou, Hanyu, Liu, Fang, Wu, Jiajun, Zhang, Li
Format:	Preprint
Published:	2025
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Vision to Specification: Automating the Transition from Conceptual Features to Functional Requirements
by: Lian, Xiaoli, et al.
Published: (2025)

Uncovering Weaknesses in Neural Code Generation
by: Lian, Xiaoli, et al.
Published: (2024)

SecureReviewer: Enhancing Large Language Models for Secure Code Review through Secure-aware Fine-tuning
by: Liu, Fang, et al.
Published: (2025)

Towards Systematic Specification and Verification of Fairness Requirements: A Position Paper
by: Ramadan, Qusai, et al.
Published: (2025)

FastCoder: Accelerating Repository-level Code Generation via Efficient Retrieval and Verification
by: Zhao, Qianhui, et al.
Published: (2025)

Benchmarking Requirement-to-Architecture Generation with Hybrid Evaluation
by: Li, Minxiao, et al.
Published: (2026)

Beyond Functional Correctness: Exploring Hallucinations in LLM-Generated Code
by: Liu, Fang, et al.
Published: (2024)

A Graphics Function Standard Specification Validator
by: Fraser, Steven D., et al.
Published: (2024)

Automated LTL Specification Generation from Industrial Aerospace Requirements
by: Ma, Zhi, et al.
Published: (2026)

Generating Project-Specific Test Cases with Requirement Validation Intention
by: Qi, Binhang, et al.
Published: (2025)

SpecSyn: LLM-based Synthesis and Refinement of Formal Specifications for Real-world Program Verification
by: Ma, Lezhi, et al.
Published: (2026)

From Specifications to Prompts: On the Future of Generative LLMs in Requirements Engineering
by: Vogelsang, Andreas
Published: (2024)

Towards Realistic Project-Level Code Generation via Multi-Agent Collaboration and Semantic Architecture Modeling
by: Zhao, Qianhui, et al.
Published: (2025)

APITestGenie: Generating Web API Tests from Requirements and API Specifications with LLMs
by: Pereira, André, et al.
Published: (2026)

A System Model Generation Benchmark from Natural Language Requirements
by: Jin, Dongming, et al.
Published: (2025)

Software Security Mapping Framework: Operationalization of Security Requirements
by: Lee, Sung Une, et al.
Published: (2025)

A Novel Approach for Automated Design Information Mining from Issue Logs
by: Zhao, Jiuang, et al.
Published: (2024)

AutoPLC: Generating Vendor-Aware Structured Text for Programmable Logic Controllers
by: Yang, Donghao, et al.
Published: (2024)

SACS: A Code Smell Dataset using Semi-automatic Generation Approach
by: Zhang, Hanyu, et al.
Published: (2026)

Challenges of Requirements Communication and Digital Assets Verification in Infrastructure Projects
by: Abdeen, Waleed, et al.
Published: (2025)

Formal Verification of Ecosystem Restoration Requirements using UML and Alloy
by: Sousa, Tiago, et al.
Published: (2024)

EfficientEdit: Accelerating Code Editing via Edit-Oriented Speculative Decoding
by: Wang, Peiding, et al.
Published: (2025)

Automatic Generation of Formal Specification and Verification Annotations Using LLMs and Test Oracles
by: Faria, João Pascoal, et al.
Published: (2026)

Exploring the Use of LLMs for Requirements Specification in an IT Consulting Company
by: Pasquale, Liliana, et al.
Published: (2025)

Quality Requirements for Code: On the Untapped Potential in Maintainability Specifications
by: Borg, Markus
Published: (2024)

Re-evaluation of Logical Specification in Behavioural Verification
by: Klimek, Radoslaw, et al.
Published: (2025)

AUITestAgent: Automatic Requirements Oriented GUI Function Testing
by: Hu, Yongxiang, et al.
Published: (2024)

UserTrace: User-Level Requirements Generation and Traceability Recovery from Software Project Repositories
by: Jin, Dongming, et al.
Published: (2025)

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

Enhancing Automated Program Repair with Solution Design
by: Zhao, Jiuang, et al.
Published: (2024)

ReqInOne: A Large Language Model-Based Agent for Software Requirements Specification Generation
by: Zhu, Taohong, et al.
Published: (2025)

Issue Retrieval and Verification Enhanced Supplementary Code Comment Generation
by: Zou, Yanzhen, et al.
Published: (2025)

Assessing the Impact of Requirement Ambiguity on LLM-based Function-Level Code Generation
by: Yang, Di, et al.
Published: (2026)

Aligning Academia with Industry: An Empirical Study of Industrial Needs and Academic Capabilities in AI-Driven Software Engineering
by: Yu, Hang, et al.
Published: (2025)

Towards a Framework for Operationalizing the Specification of Trustworthy AI Requirements
by: Villamizar, Hugo, et al.
Published: (2025)

Towards an Agentic LLM-based Approach to Requirement Formalization from Unstructured Specifications
by: Tagliaferro, Alberto, et al.
Published: (2026)

LLM-Assisted Tool for Joint Generation of Formulas and Functions in Rule-Based Verification of Map Transformations
by: He, Ruidi, et al.
Published: (2025)

Can ChatGPT Generate Realistic Synthetic System Requirement Specifications? Results of a Case Study
by: Mattukat, Alex R., et al.
Published: (2026)

Logic Mining from Process Logs: Towards Automated Specification and Verification
by: Klimek, Radoslaw, et al.
Published: (2025)

Integrated Modeling, Verification, and Code Generation for Unmanned Aerial Systems
by: Zhang, Jianyu, et al.
Published: (2024)