Requirements Satisfiability with In-Context Learning
Fuente:
arXiv
Saved in:
| Main Authors: | Santos, Sarah, Breaux, Travis, Norton, Thomas, Haghighi, Sara, Ghanavati, Sepideh |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
An Analysis of Automated Use Case Component Extraction from Scenarios using ChatGPT
by: KC, Pragyan, et al.
Published: (2024)
by: KC, Pragyan, et al.
Published: (2024)
Toward Regulatory Compliance: A few-shot Learning Approach to Extract Processing Activities
by: KC, Pragyan, et al.
Published: (2024)
by: KC, Pragyan, et al.
Published: (2024)
Legal Requirements Translation from Law
by: Singhal, Anmol, et al.
Published: (2025)
by: Singhal, Anmol, et al.
Published: (2025)
From Legal Text to Tech Specs: Generative AI's Interpretation of Consent in Privacy Law
by: Kesari, Aniket, et al.
Published: (2025)
by: Kesari, Aniket, et al.
Published: (2025)
Evaluating Privacy Perceptions, Experience, and Behavior of Software Development Teams
by: Prybylo, Maxwell, et al.
Published: (2024)
by: Prybylo, Maxwell, et al.
Published: (2024)
Requirements Elicitation Follow-Up Question Generation
by: Shen, Yuchen, et al.
Published: (2025)
by: Shen, Yuchen, et al.
Published: (2025)
Generative Goal Modeling
by: Sharfuddin, Ateeq, et al.
Published: (2025)
by: Sharfuddin, Ateeq, et al.
Published: (2025)
Analyzing and Debugging Normative Requirements via Satisfiability Checking
by: Feng, Nick, et al.
Published: (2024)
by: Feng, Nick, et al.
Published: (2024)
Understanding Developers Privacy Concerns Through Reddit Thread Analysis
by: Parsons, Jonathan, et al.
Published: (2023)
by: Parsons, Jonathan, et al.
Published: (2023)
Automated Generation of Accurate Privacy Captions From Android Source Code Using Large Language Models
by: Jain, Vijayanta, et al.
Published: (2026)
by: Jain, Vijayanta, et al.
Published: (2026)
Ethics Practices in AI Development: An Empirical Study Across Roles and Regions
by: Baldwin, Wilder, et al.
Published: (2025)
by: Baldwin, Wilder, et al.
Published: (2025)
LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation
by: Chen, Boqi, et al.
Published: (2025)
by: Chen, Boqi, et al.
Published: (2025)
Which Code Statements Implement Privacy Behaviors in Android Applications?
by: Su, Chia-Yi, et al.
Published: (2025)
by: Su, Chia-Yi, et al.
Published: (2025)
Generating Privacy Stories From Software Documentation
by: Baldwin, Wilder, et al.
Published: (2025)
by: Baldwin, Wilder, et al.
Published: (2025)
Evaluating Privacy Questions From Stack Overflow: Can ChatGPT Compete?
by: Delile, Zack, et al.
Published: (2023)
by: Delile, Zack, et al.
Published: (2023)
Understanding Prompt Programming Tasks and Questions
by: Liang, Jenny T., et al.
Published: (2025)
by: Liang, Jenny T., et al.
Published: (2025)
Context-Adaptive Requirements Defect Prediction through Human-LLM Collaboration
by: Unterbusch, Max, et al.
Published: (2026)
by: Unterbusch, Max, et al.
Published: (2026)
MRG-Bench: Evaluating and Exploring the Requirements of Context for Repository-Level Code Generation
by: Li, Haiyang
Published: (2025)
by: Li, Haiyang
Published: (2025)
Team Diversity Promotes Software Fairness: An Experiment on Fairness-Aware Requirements Prioritization
by: Magalhes, Cleyton, et al.
Published: (2026)
by: Magalhes, Cleyton, et al.
Published: (2026)
SAGE: A Context-Aware Approach for Mining Privacy Requirements Relevant Reviews from Mental Health Apps
by: Sorathiya, Aakash, et al.
Published: (2025)
by: Sorathiya, Aakash, et al.
Published: (2025)
Requirements are All You Need: From Requirements to Code with LLMs
by: Wei, Bingyang
Published: (2024)
by: Wei, Bingyang
Published: (2024)
Practitioner Insights on Fairness Requirements in the AI Development Life Cycle: An Interview Study
by: Boufaied, Chaima, et al.
Published: (2025)
by: Boufaied, Chaima, et al.
Published: (2025)
Learning-Based Relaxation of Completeness Requirements for Data Entry Forms
by: Belgacem, Hichem, et al.
Published: (2023)
by: Belgacem, Hichem, et al.
Published: (2023)
A Rapid Review Regarding the Concept of Legal Requirements in Requirements Engineering
by: Ruohonen, Jukka
Published: (2025)
by: Ruohonen, Jukka
Published: (2025)
Industrial Practices of Requirements Engineering for ML-Enabled Systems in Brazil
by: Alves, Antonio Pedro Santos, et al.
Published: (2024)
by: Alves, Antonio Pedro Santos, et al.
Published: (2024)
Characterizing Requirements Smells
by: Gentili, Emanuele, et al.
Published: (2024)
by: Gentili, Emanuele, et al.
Published: (2024)
Logging Requirement for Continuous Auditing of Responsible Machine Learning-based Applications
by: Foalem, Patrick Loic, et al.
Published: (2025)
by: Foalem, Patrick Loic, et al.
Published: (2025)
Train While You Fight -- Technical Requirements for Advanced Distributed Learning Platforms
by: Hacks, Simon
Published: (2025)
by: Hacks, Simon
Published: (2025)
Automated Requirements Relation Extraction
by: Motger, Quim, et al.
Published: (2024)
by: Motger, Quim, et al.
Published: (2024)
Assisted Requirements Selection by Clustering
by: del Sagrado, José, et al.
Published: (2024)
by: del Sagrado, José, et al.
Published: (2024)
UOOR: Seamless and Traceable Requirements
by: Naumcheva, Maria, et al.
Published: (2025)
by: Naumcheva, Maria, 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)
by: Perera, Judith, et al.
Published: (2024)
Applying a Requirements-Focused Agile Management Approach for Machine Learning-Enabled Systems
by: Romao, Lucas, et al.
Published: (2026)
by: Romao, Lucas, et al.
Published: (2026)
Attributes of a Great Requirements Engineer
by: Barbosa, Larissa, et al.
Published: (2024)
by: Barbosa, Larissa, et al.
Published: (2024)
ROOT: Requirements Organization and Optimization Tool
by: Dearstyne, Katherine R., et al.
Published: (2024)
by: Dearstyne, Katherine R., et al.
Published: (2024)
Natural Language Processing for Requirements Traceability
by: Guo, Jin L. C., et al.
Published: (2024)
by: Guo, Jin L. C., et al.
Published: (2024)
Towards Requirements Engineering for GenAI-Enabled Software: Bridging Responsibility Gaps through Human Oversight Requirements
by: Mao, Zhenyu, et al.
Published: (2025)
by: Mao, Zhenyu, 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)
by: KC, Pragyan, et al.
Published: (2025)
Machine Learning with Requirements: a Manifesto
by: Giunchiglia, Eleonora, et al.
Published: (2023)
by: Giunchiglia, Eleonora, et al.
Published: (2023)
Self-Elicitation of Requirements with Automated GUI Prototyping
by: Kolthoff, Kristian, et al.
Published: (2024)
by: Kolthoff, Kristian, et al.
Published: (2024)
Similar Items
-
An Analysis of Automated Use Case Component Extraction from Scenarios using ChatGPT
by: KC, Pragyan, et al.
Published: (2024) -
Toward Regulatory Compliance: A few-shot Learning Approach to Extract Processing Activities
by: KC, Pragyan, et al.
Published: (2024) -
Legal Requirements Translation from Law
by: Singhal, Anmol, et al.
Published: (2025) -
From Legal Text to Tech Specs: Generative AI's Interpretation of Consent in Privacy Law
by: Kesari, Aniket, et al.
Published: (2025) -
Evaluating Privacy Perceptions, Experience, and Behavior of Software Development Teams
by: Prybylo, Maxwell, et al.
Published: (2024)