Cover Image

Neurosymbolic Auditing of Natural-Language Software Requirements

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Hall, Bethel, Eiers, William
Format:	Preprint
Published:	2026
Subjects:	Software Engineering Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

CloudFix: Automated Policy Repair for Cloud Access Control Policies Using Large Language Models
by: Hall, Bethel, et al.
Published: (2025)

Exploring Large Language Models for Access Control Policy Synthesis and Summarization
by: Vatsa, Adarsh, et al.
Published: (2025)

Synthesizing Access Control Policies using Large Language Models
by: Vatsa, Adarsh, et al.
Published: (2025)

ARLO: A Tailorable Approach for Transforming Natural Language Software Requirements into Architecture using LLMs
by: Helmi, Tooraj
Published: (2025)

Toward Neurosymbolic Program Comprehension
by: Velasco, Alejandro, et al.
Published: (2025)

SEER: Sustainability Enhanced Engineering of Software Requirements
by: Roy, Mandira, et al.
Published: (2025)

Neurosymbolic Repo-level Code Localization
by: Xu, Xiufeng, et al.
Published: (2026)

Natural Language Requirements Testability Measurement Based on Requirement Smells
by: Zakeri-Nasrabadi, Morteza, et al.
Published: (2024)

Bias in the Loop: Auditing LLM-as-a-Judge for Software Engineering
by: Zhao, Zixiao, et al.
Published: (2026)

From What to How: Bridging User Requirements with Software Development Using Large Language Models
by: He, Xiao, et al.
Published: (2026)

Using LLMs in Software Requirements Specifications: An Empirical Evaluation
by: Krishna, Madhava, et al.
Published: (2024)

Automated Non-Functional Requirements Generation in Software Engineering with Large Language Models: A Comparative Study
by: Almonte, Jomar Thomas, et al.
Published: (2025)

GenAI for Automotive Software Development: From Requirements to Wheels
by: Petrovic, Nenad, et al.
Published: (2025)

A Gray Literature Study on Fairness Requirements in AI-enabled Software Engineering
by: Nguyen, Thanh, et al.
Published: (2025)

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code
by: Petrovic, Nenad, et al.
Published: (2025)

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

ArchCode: Incorporating Software Requirements in Code Generation with Large Language Models
by: Han, Hojae, et al.
Published: (2024)

NeuroStrata: Harnessing Neurosymbolic Paradigms for Improved Design, Testability, and Verifiability of Autonomous CPS
by: Zheng, Xi, et al.
Published: (2025)

Automating the Detection of Requirement Dependencies Using Large Language Models
by: Darif, Ikram, et al.
Published: (2026)

Self-Healing Software Systems: Lessons from Nature, Powered by AI
by: Baqar, Mohammad, et al.
Published: (2025)

From Defects to Demands: A Unified, Iterative, and Heuristically Guided LLM-Based Framework for Automated Software Repair and Requirement Realization
by: Alex, et al.
Published: (2024)

Explaining Software Vulnerabilities with Large Language Models
by: Johnson, Oshando, et al.
Published: (2025)

Natural Language-Oriented Programming (NLOP): Towards Democratizing Software Creation
by: Beheshti, Amin
Published: (2024)

Legal Requirements Analysis
by: Abualhaija, Sallam, et al.
Published: (2023)

Generative Language Models Potential for Requirement Engineering Applications: Insights into Current Strengths and Limitations
by: Saleem, Summra, et al.
Published: (2024)

StackSight: Unveiling WebAssembly through Large Language Models and Neurosymbolic Chain-of-Thought Decompilation
by: Fang, Weike, et al.
Published: (2024)

Large Language Models for Software Testing: A Research Roadmap
by: Augusto, Cristian, et al.
Published: (2025)

Metamorphic Testing of Large Language Models for Natural Language Processing
by: Cho, Steven, et al.
Published: (2025)

RobuNFR: Evaluating the Robustness of Large Language Models on Non-Functional Requirements Aware Code Generation
by: Lin, Feng, et al.
Published: (2025)

When Prompt Engineering Meets Software Engineering: CNL-P as Natural and Robust "APIs'' for Human-AI Interaction
by: Xing, Zhenchang, et al.
Published: (2025)

Towards Requirements Engineering for RAG Systems
by: Sporsem, Tor, et al.
Published: (2025)

Enhancing SQL Query Generation with Neurosymbolic Reasoning
by: Princis, Henrijs, et al.
Published: (2024)

Agentic Software Issue Resolution with Large Language Models: A Survey
by: Jiang, Zhonghao, et al.
Published: (2025)

Large Language Models for Software Engineering: A Systematic Literature Review
by: Hou, Xinyi, et al.
Published: (2023)

Large Language Model-Based Agents for Software Engineering: A Survey
by: Liu, Junwei, et al.
Published: (2024)

Redefining Developer Assistance: Through Large Language Models in Software Ecosystem
by: Banerjee, Somnath, et al.
Published: (2023)

Synthline: A Product Line Approach for Synthetic Requirements Engineering Data Generation using Large Language Models
by: El-Hajjami, Abdelkarim, et al.
Published: (2025)

From Requirements to Architecture: Semi-Automatically Generating Software Architectures
by: Eisenreich, Tobias
Published: (2025)

Foundational Analysis of Safety Engineering Requirements (SAFER)
by: Chemo, Noga, et al.
Published: (2026)

Edit, But Verify: An Empirical Audit of Instructed Code-Editing Benchmarks
by: Ebrahimi, Amir M., et al.
Published: (2026)