Cover Image

Detecting Underspecification in Software Requirements via k-NN Coverage Geometry

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Yang, Wenyan, Janovec, Tomáš, Bavautdin, Samantha
Format:	Preprint
Published:	2026
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Prioritizing Software Requirements Using Large Language Models
by: Sami, Malik Abdul, et al.
Published: (2024)

What Prompts Don't Say: Understanding and Managing Underspecification in LLM Prompts
by: Yang, Chenyang, et al.
Published: (2025)

Requirements Coverage-Guided Minimization for Natural Language Test Cases
by: Pan, Rongqi, et al.
Published: (2025)

Leveraging LLMs for the Quality Assurance of Software Requirements
by: Lubos, Sebastian, et al.
Published: (2024)

Requirements Engineering for Research Software: A Vision
by: Bajraktari, Adrian, et al.
Published: (2024)

REprompt: Prompt Generation for Intelligent Software Development Guided by Requirements Engineering
by: Shi, Junjie, et al.
Published: (2026)

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

A Requirements Engineering Technology for the IoT Software Systems
by: da Silva, Danyllo Valente, et al.
Published: (2021)

Requirements for Active Assistance of Natural Questions in Software Architecture
by: Lemos, Diogo, et al.
Published: (2025)

Towards a Taxonomy of Sustainability Requirements for Software Design
by: Roy, Mandira, et al.
Published: (2025)

Towards Quantifying Requirements Technical Debt for Software Requirements concerning Veracity: A Perspective and Research Roadmap
by: Perera, Judith, et al.
Published: (2024)

REAgent: Requirement-Driven LLM Agents for Software Issue Resolution
by: Kuang, Shiqi, et al.
Published: (2026)

Requirements Volatility in Software Architecture Design: An Exploratory Case Study
by: Aaramaa, Sanja, et al.
Published: (2026)

Requirements-Driven Automated Software Testing: A Systematic Review
by: Wang, Fanyu, et al.
Published: (2025)

Agile Requirement Change Management Model for Global Software Development
by: Koulecar, Neha, et al.
Published: (2024)

Bridging Natural Language and Formal Specification--Automated Translation of Software Requirements to LTL via Hierarchical Semantics Decomposition Using LLMs
by: Ma, Zhi, et al.
Published: (2025)

Towards Requirements Engineering for GenAI-Enabled Software: Bridging Responsibility Gaps through Human Oversight Requirements
by: Mao, Zhenyu, et al.
Published: (2025)

Exploring Sustainability in Scientific Software through Code Quality & Test Coverage Metrics
by: Rahman, Sheikh Md. Mushfiqur, et al.
Published: (2026)

Automatic Generation of Explainability Requirements and Software Explanations From User Reviews
by: Obaidi, Martin, et al.
Published: (2025)

Maximizing Patch Coverage for Testing of Highly-Configurable Software without Exploding Build Times
by: Yıldıran, Necip Fazıl, et al.
Published: (2024)

ARC: Compiling Large Multi-Modal Requirement Documents into Runnable Software Systems
by: Kong, Weiyu, et al.
Published: (2026)

Team Diversity Promotes Software Fairness: An Experiment on Fairness-Aware Requirements Prioritization
by: Magalhes, Cleyton, et al.
Published: (2026)

Towards Extracting Ethical Concerns-related Software Requirements from App Reviews
by: Sorathiya, Aakash, et al.
Published: (2024)

From Requirements to Code: Understanding Developer Practices in LLM-Assisted Software Engineering
by: Ullrich, Jonathan, et al.
Published: (2025)

Towards a Software Reference Architecture for Natural Language Processing Tools in Requirements Engineering
by: Frattini, Julian, et al.
Published: (2026)

Non Technical Debt in Agile Software Development
by: Ahmad, Muhammad Ovais, et al.
Published: (2025)

Privacy by Design: Aligning GDPR and Software Engineering Specifications with a Requirements Engineering Approach
by: Kosenkov, Oleksandr, et al.
Published: (2025)

Embedded Software Development with Digital Twins: Specific Requirements for Small and Medium-Sized Enterprises
by: Barbie, Alexander, et al.
Published: (2023)

Neurosymbolic Auditing of Natural-Language Software Requirements
by: Hall, Bethel, et al.
Published: (2026)

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

Generating Test Scenarios from NL Requirements using Retrieval-Augmented LLMs: An Industrial Study
by: Arora, Chetan, et al.
Published: (2024)

Modelling GDPR-based Privacy Requirements with Software Engineering Diagrams: A Systematic Literature Review
by: Vanezi, Evangelia, et al.
Published: (2026)

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

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

Towards Better Requirements from the Crowd: Developer Engagement with Feature Requests in Open Source Software
by: KC, Pragyan, et al.
Published: (2025)

Towards Extracting Software Requirements from App Reviews using Seq2seq Framework
by: Sorathiya, Aakash, et al.
Published: (2025)

Leveraging Self-Paced Learning for Software Vulnerability Detection
by: Cheng, Zeru, et al.
Published: (2025)

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

Demonstrators for Industrial Cyber-Physical System Research: A Requirements Hierarchy Driven by Software-Intensive Design
by: Odyurt, Uraz, et al.
Published: (2025)

Model-Guided Fieldwork: A Practical, Methodological and Philosophical Investigation in the use of Ethnomethodology for Engineering Software Requirements
by: Hinds, Chris
Published: (2024)