Cover Image

From Law to Gherkin: A Human-Centred Quasi-Experiment on the Quality of LLM-Generated Behavioural Specifications from Food-Safety Regulations

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Hassani, Shabnam, Sabetzadeh, Mehrdad, Amyot, Daniel
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

An Empirical Study on LLM-based Classification of Requirements-related Provisions in Food-safety Regulations
by: Hassani, Shabnam, et al.
Published: (2025)

Rethinking Legal Compliance Automation: Opportunities with Large Language Models
by: Hassani, Shabnam, et al.
Published: (2024)

Improving Requirements Completeness: Automated Assistance through Large Language Models
by: Luitel, Dipeeka, et al.
Published: (2023)

DSL or Code? Evaluating the Quality of LLM-Generated Algebraic Specifications: A Case Study in Optimization at Kinaxis
by: Ayoughi, Negin, et al.
Published: (2026)

Enhancing Legal Compliance and Regulation Analysis with Large Language Models
by: Hassani, Shabnam
Published: (2024)

Practical Guidelines for the Selection and Evaluation of Natural Language Processing Techniques in Requirements Engineering
by: Sabetzadeh, Mehrdad, et al.
Published: (2024)

Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo
by: Zitouni, Mounira Nihad, et al.
Published: (2024)

Genetic Programming for Self-Adaptive Auto-Scaling of Microservices
by: Li, Jia, et al.
Published: (2026)

Requirements-driven Slicing of Simulink Models Using LLMs
by: Luitel, Dipeeka, et al.
Published: (2024)

The Impact of Critique on LLM-Based Model Generation from Natural Language: The Case of Activity Diagrams
by: Khamsepour, Parham, et al.
Published: (2025)

Simulink Mutation Testing using CodeBERT
by: Zhang, Jingfan, et al.
Published: (2025)

A Web-Based Environment for the Specification and Generation of Smart Legal Contracts
by: Meloche, Regan, et al.
Published: (2025)

Automated Test Validators for Flaky Cyber-Physical System Simulators: Approach and Evaluation
by: Jodat, Baharin A., et al.
Published: (2025)

Enhancing Automata Learning with Statistical Machine Learning: A Network Security Case Study
by: Ayoughi, Negin, et al.
Published: (2024)

A Lean Simulation Framework for Stress Testing IoT Cloud Systems
by: Li, Jia, et al.
Published: (2024)

Developing a Llama-Based Chatbot for CI/CD Question Answering: A Case Study at Ericsson
by: Chaudhary, Daksh, et al.
Published: (2024)

Effort-Optimized, Accuracy-Driven Labelling and Validation of Test Inputs for DL Systems: A Mixed-Integer Linear Programming Approach
by: Amini, Mohammad Hossein, et al.
Published: (2025)

Question Answering for Multi-Release Systems: A Case Study at Ciena
by: Khamsepour, Parham, et al.
Published: (2026)

Test Input Validation for Vision-based DL Systems: An Active Learning Approach
by: Ghobari, Delaram, et al.
Published: (2025)

Automating Business Intelligence Requirements with Generative AI and Semantic Search
by: Busany, Nimrod, et al.
Published: (2024)

EdgeFlow: Edge-Map Augmented VLM-Based Flowchart Processing for Industrial Requirements Engineering
by: Dou, Zhifei, et al.
Published: (2026)

From Exploration to Specification: LLM-Based Property Generation for Mobile App Testing
by: Xiong, Yiheng, et al.
Published: (2026)

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

Beyond Basic Specifications? A Systematic Study of Logical Constructs in LLM-based Specification Generation
by: Chen, Zehan, et al.
Published: (2026)

LRASGen: LLM-based RESTful API Specification Generation
by: Deng, Sida, et al.
Published: (2025)

Improving Dynamic Specification Inference with LLM-Generated Counterexamples
by: Balestra, Agustín, et al.
Published: (2026)

Structured Safety Auditing for Balancing Code Correctness and Content Safety in LLM-Generated Code
by: Tan, Honghao, et al.
Published: (2026)

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

A Human-Centred Architecture for Large Language Models-Cognitive Assistants in Manufacturing within Quality Management Systems
by: Galdino, Marcos, et al.
Published: (2026)

Enhancing LLM-based Specification Generation via Program Slicing and Logical Deletion
by: Chen, Zehan, et al.
Published: (2025)

Human-Like Code Quality Evaluation through LLM-based Recursive Semantic Comprehension
by: Xu, Fangzhou, et al.
Published: (2024)

Human-Centred Requirements Engineering for Critical Systems: Insights from Disaster Early Warning Applications
by: Madugalla, Anuradha, et al.
Published: (2025)

Human or LLM? A Comparative Study on Accessible Code Generation Capability
by: Suh, Hyunjae, et al.
Published: (2025)

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

A Quasi-Experimental Evaluation of Coaching to Mitigate the Impostor Phenomenon in Early-Career Software Engineers
by: Guenes, Paloma, et al.
Published: (2026)

From Legal Text to Tech Specs: Generative AI's Interpretation of Consent in Privacy Law
by: Kesari, Aniket, et al.
Published: (2025)

Applying Bayesian Data Analysis for Causal Inference about Requirements Quality: A Controlled Experiment
by: Frattini, Julian, et al.
Published: (2024)

Are They All Good? Evaluating the Quality of CoTs in LLM-based Code Generation
by: Zhang, Binquan, et al.
Published: (2025)

From B Specifications to $\{log$\}$ Forgrams
by: Cristiá, Maximiliano
Published: (2024)

From Human to Machine Refactoring: Assessing GPT-4's Impact on Python Class Quality and Readability
by: Midolo, Alessandro, et al.
Published: (2026)