Cover Image

Grammar-Constrained Refinement of Safety Operational Rules Using Language in the Loop: What Could Go Wrong

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Gaaloul, Khouloud, Ghazal, Zaid, Pulimi, Madhu Latha, Kathiravan, Sam Emmanuel
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

Towards Counterfactual Explanation and Assertion Inference for CPS Debugging
by: Ghazal, Zaid, et al.
Published: (2026)

What Could Possibly Go Wrong: Undesirable Patterns in Collective Development
by: Evtikhiev, Mikhail, et al.
Published: (2024)

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

Architectural Transformations and Emerging Verification Demands in AI-Enabled Cyber-Physical Systems
by: Yusuf, Hadiza Umar, et al.
Published: (2025)

Automated Test Transfer Across Android Apps Using Large Language Models
by: Beyzaei, Benyamin, et al.
Published: (2024)

Mining Action Rules for Defect Reduction Planning
by: Oueslati, Khouloud, et al.
Published: (2024)

What's Wrong with Your Code Generated by Large Language Models? An Extensive Study
by: Dou, Shihan, et al.
Published: (2024)

What Breaks When LLMs Code? Characterizing Operational Safety Failures of Agentic Code Assistants
by: Hasan, Alif Al, et al.
Published: (2026)

When Prompts Go Wrong: Evaluating Code Model Robustness to Ambiguous, Contradictory, and Incomplete Task Descriptions
by: Larbi, Maya, et al.
Published: (2025)

RefAgent: A Multi-agent LLM-based Framework for Automatic Software Refactoring
by: Oueslati, Khouloud, et al.
Published: (2025)

What the Fix? A Study of ASATs Rule Documentation
by: Latappy, Corentin, et al.
Published: (2024)

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

What Did I Do Wrong? Quantifying LLMs' Sensitivity and Consistency to Prompt Engineering
by: Errica, Federico, et al.
Published: (2024)

Where AI Assurance Might Go Wrong: Initial lessons from engineering of critical systems
by: Bloomfield, Robin, et al.
Published: (2025)

Enhancing Uncertainty Quantification for Runtime Safety Assurance Using Causal Risk Analysis and Operational Design Domain
by: Bouchekir, Radouane, et al.
Published: (2025)

Inferring Attributed Grammars from Parser Implementations
by: Pointner, Andreas, et al.
Published: (2025)

RubricRefine: Improving Tool-Use Agent Reliability with Training-Free Pre-Execution Refinement
by: LeVine, Will, et al.
Published: (2026)

ShellFuzzer: Grammar-based Fuzzing of Shell Interpreters
by: Felici, Riccardo, et al.
Published: (2024)

Right or Wrong -- Understanding How Novice Users Write Software Models
by: Jovanovic, Ana, et al.
Published: (2024)

Articulate but Wrong: Self-Review Failures in LLM-Based Code Modernization
by: Reddy, Gokul Chandra Purnachandra, et al.
Published: (2026)

Formal Modelling of Safety Architecture for Responsibility-Aware Autonomous Vehicle via Event-B Refinement
by: Kobayashi, Tsutomu, et al.
Published: (2024)

Towards Automated Support for the Co-Evolution of Meta-Models and Grammars
by: Zhang, Weixing
Published: (2023)

Leveraging LLMs for Grammar Adaptation: A Study on Metamodel-Grammar Co-Evolution
by: Zhang, Weixing, et al.
Published: (2026)

Targeted Testing of Compiler Optimizations via Grammar-Level Composition Styles
by: Zhou, Zitong, et al.
Published: (2025)

Constrained Decoding for Fill-in-the-Middle Code Language Models via Efficient Left and Right Quotienting of Context-Sensitive Grammars
by: Melcer, Daniel, et al.
Published: (2024)

Can Language Models Go Beyond Coding? Assessing the Capability of Language Models to Build Real-World Systems
by: Zhao, Chenyu, et al.
Published: (2025)

Fearless Unsafe. A More User-friendly Document for Unsafe Rust Programming Base on Refined Safety Properties
by: Cui, Mohan, et al.
Published: (2024)

Object-Oriented Architecture: A Software Engineering-Inspired Shape Grammar for Durands Plates
by: Agarwal, Rohan
Published: (2024)

A Prompt-Based Framework for Loop Vulnerability Detection Using Local LLMs
by: Adeseye, Adeyemi, et al.
Published: (2026)

Supporting Meta-model-based Language Evolution and Rapid Prototyping with Automated Grammar Optimization
by: Zhang, Weixing, et al.
Published: (2024)

CellScientist: Dual-Space Hierarchical Orchestration for Closed-Loop Refinement of Virtual Cell Models
by: Li, Mengran, et al.
Published: (2026)

On the Marriage of Theory and Practice in Data-Aware Business Processes via Low-Code
by: Eldin, Ali Nour, et al.
Published: (2025)

Beyond Strict Rules: Assessing the Effectiveness of Large Language Models for Code Smell Detection
by: Souza, Saymon, et al.
Published: (2026)

Going Viral: Case Studies on the Impact of Protestware
by: Fan, Youmei, et al.
Published: (2024)

Go Static: Contextualized Logging Statement Generation
by: Li, Yichen, et al.
Published: (2024)

Formalizing Operational Design Domains with the Pkl Language
by: Skoglund, Martin, et al.
Published: (2025)

Unlocking LLM Repair Capabilities Through Cross-Language Translation and Multi-Agent Refinement
by: Luo, Wenqiang, et al.
Published: (2025)

Towards a Human-in-the-Loop Framework for Reliable Patch Evaluation Using an LLM-as-a-Judge
by: Shi, Sherry, et al.
Published: (2025)

Constrained Decoding of Diffusion LLMs with Context-Free Grammars
by: Mündler, Niels, et al.
Published: (2025)

Human-in-the-Loop Uncertainty Analysis in Self-Adaptive Robots Using LLMs
by: Sartaj, Hassan, et al.
Published: (2026)