:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Kesari, Aniket, Breaux, Travis, Norton, Tom, Santos, Sarah, Singhal, Anmol
Format:	Preprint
Published:	2025
Subjects:	Software Engineering
Online Access:	https://arxiv.org/abs/2507.04185
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Legal Requirements Translation from Law
by: Singhal, Anmol, et al.
Published: (2025)

Requirements Elicitation Follow-Up Question Generation
by: Shen, Yuchen, et al.
Published: (2025)

Requirements Satisfiability with In-Context Learning
by: Santos, Sarah, et al.
Published: (2024)

Legal Requirements Translation from Law
by: Singhal, Anmol, et al.
Published: (2025)

Generative Goal Modeling
by: Sharfuddin, Ateeq, et al.
Published: (2025)

Dealing with Data for RE: Mitigating Challenges while using NLP and Generative AI
by: Ghaisas, Smita, et al.
Published: (2024)

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)

Understanding Prompt Programming Tasks and Questions
by: Liang, Jenny T., et al.
Published: (2025)

Spec-Driven Development:From Code to Contract in the Age of AI Coding Assistants
by: Piskala, Deepak Babu
Published: (2026)

Verus-SpecGym: An Agentic Environment for Evaluating Specification Autoformalization
by: Agarwal, Anmol, et al.
Published: (2026)

DiffSpec: Differential Testing with LLMs using Natural Language Specifications and Code Artifacts
by: Rao, Nikitha, et al.
Published: (2024)

Model-Checking the Implementation of Consent
by: Pardo, Raúl, et al.
Published: (2024)

AutoSpec: Automated Generation of Neural Network Specifications
by: Jin, Shuowei, et al.
Published: (2024)

SpecGen: Automated Generation of Formal Program Specifications via Large Language Models
by: Ma, Lezhi, et al.
Published: (2024)

SpecTra: Enhancing the Code Translation Ability of Language Models by Generating Multi-Modal Specifications
by: Nitin, Vikram, et al.
Published: (2024)

Contractual Skills: A GovernSpec Design Framework for Enterprise AI Agents
by: Liu, Ting
Published: (2026)

Code Generation and Algorithmic Problem Solving Using Llama 3.1 405B
by: Deroy, Aniket, et al.
Published: (2024)

"The Law Doesn't Work Like a Computer": Exploring Software Licensing Issues Faced by Legal Practitioners
by: Wintersgill, Nathan, et al.
Published: (2024)

LLM-Assisted Repository-Level Generation with Structured Spec-Driven Engineering
by: Feng, Shuzhao, et al.
Published: (2026)

CodeSpecBench: Benchmarking LLMs for Executable Behavioral Specification Generation
by: Chen, Zaoyu, et al.
Published: (2026)

Sharpen the Spec, Cut the Code: A Case for Generative File System with SYSSPEC
by: Liu, Qingyuan, et al.
Published: (2025)

Practices, Challenges, and Opportunities When Inferring Requirements From Regulations in the FinTech Sector - An Industrial Study
by: Elahidoost, Parisa, et al.
Published: (2024)

Generating Privacy Stories From Software Documentation
by: Baldwin, Wilder, et al.
Published: (2025)

Towards Evidence-Based Tech Hiring Pipelines
by: Brown, Chris, et al.
Published: (2025)

Constructive Patterns for Human-Centered Tech Hiring
by: Araújo, Allysson Allex, et al.
Published: (2026)

SpecEval: Evaluating Code Comprehension in Large Language Models via Program Specifications
by: Ma, Lezhi, et al.
Published: (2024)

An Investigation on How AI-Generated Responses Affect SoftwareEngineering Surveys
by: Santos, Ronnie de Souza, et al.
Published: (2025)

SpecRover: Code Intent Extraction via LLMs
by: Ruan, Haifeng, et al.
Published: (2024)

A Web-Based Environment for the Specification and Generation of Smart Legal Contracts
by: Meloche, Regan, 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)

The TechDebt Game -- Enabling Discussions about Technical Debt
by: Wiese, Marion, et al.
Published: (2025)

How Are We Doing With Using AI-Based Programming Assistants For Privacy-Related Code Generation? The Developers' Experience
by: Madampe, Kashumi, et al.
Published: (2025)

The Role of Generative AI in Software Development Productivity: A Pilot Case Study
by: Coutinho, Mariana, et al.
Published: (2024)

Creativity, Generative AI, and Software Development: A Research Agenda
by: Jackson, Victoria, et al.
Published: (2024)

SpecPylot: Python Specification Generation using Large Language Models
by: Ayon, Ragib Shahariar, et al.
Published: (2026)

POLARIS: Is Multi-Agentic Reasoning the Next Wave in Engineering Self-Adaptive Systems?
by: Pandey, Divyansh, et al.
Published: (2025)

From Text to DSL: Evaluating Grammar-Based Model Generation Using Open LLMs
by: Baber, Junaid, et al.
Published: (2026)

Bridging the Interpretation Gap in Accessibility Testing: Empathetic and Legal-Aware Bug Report Generation via Large Language Models
by: Koyama, Ryoya, et al.
Published: (2026)

The Tech DEI Backlash -- The Changing Landscape of Diversity, Equity, and Inclusion in Software Engineering
by: Hyrynsalmi, Sonja M., et al.
Published: (2025)