:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Cabrero-Daniel, Beatriz, Mohamad, Mazen
Format:	Preprint
Published:	2025
Subjects:	Software Engineering
Online Access:	https://arxiv.org/abs/2508.14747
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Towards Understanding and Applying Security Assurance Cases for Automotive Systems
by: Mohamad, Mazen
Published: (2024)

Understanding, Implementing, and Supporting Security Assurance Cases in Safety-Critical Domains
by: Mohamad, Mazen
Published: (2025)

Revolutionizing Validation and Verification: Explainable Testing Methodologies for Intelligent Automotive Decision-Making Systems
by: Eris, Halit, et al.
Published: (2025)

Prompt Smells: An Omen for Undesirable Generative AI Outputs
by: Ronanki, Krishna, et al.
Published: (2024)

Data Annotation Quality Problems in AI-Enabled Perception System Development
by: Saeeda, Hina, et al.
Published: (2025)

The DevSafeOps Dilemma: A Systematic Literature Review on Rapidity in Safe Autonomous Driving Development and Operation
by: Nouri, Ali, et al.
Published: (2025)

RE for AI in Practice: Managing Data Annotation Requirements for AI Autonomous Driving Systems
by: Saeeda, Hina, et al.
Published: (2025)

Recommendations for Efficient and Responsible LLM Adoption within Industrial Software Development
by: Ronanki, Krishna, et al.
Published: (2026)

An Exploration of Agile Methods in the Automotive Industry: Benefits, Challenges and Opportunities
by: Askarpour, Mehrnoosh, et al.
Published: (2024)

Managing Security Evidence in Safety-Critical Organizations
by: Mohamad, Mazen, et al.
Published: (2024)

Evaluating the Role of Security Assurance Cases in Agile Medical Device Development
by: Fransson, Max, et al.
Published: (2024)

Welcome Your New AI Teammate: On Safety Analysis by Leashing Large Language Models
by: Nouri, Ali, et al.
Published: (2024)

RE-centric Recommendations for the Development of Trustworthy(er) Autonomous Systems
by: Ronanki, Krishna, et al.
Published: (2023)

TVR: Automotive System Requirement Traceability Validation and Recovery Through Retrieval-Augmented Generation
by: Niu, Feifei, et al.
Published: (2025)

Contract Based Verification of Non-functional Requirements for Embedded Automotive C Code
by: Amilon, Jesper, et al.
Published: (2026)

Exploring Human-AI Collaboration in Agile: Customised LLM Meeting Assistants
by: Cabrero-Daniel, Beatriz, et al.
Published: (2024)

Toward Automated Virtual Electronic Control Unit (ECU) Twins for Shift-Left Automotive Software Testing
by: Dingler, Sebastian, et al.
Published: (2026)

Large Language Models in Code Co-generation for Safe Autonomous Vehicles
by: Nouri, Ali, et al.
Published: (2025)

Cybersecurity Pathways Towards CE-Certified Autonomous Forestry Machines
by: Mohamad, Mazen, et al.
Published: (2024)

The Impact of Prompt Programming on Function-Level Code Generation
by: Khojah, Ranim, et al.
Published: (2024)

Verification and Validation of Autonomous Systems
by: Shetiya, Sneha Sudhir, et al.
Published: (2024)

Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems
by: Kirchner, Sven, et al.
Published: (2025)

Using Assurance Cases to Guide Verification and Validation of Research Software
by: Smith, W. Spencer, et al.
Published: (2024)

LLM Company Policies and Policy Implications in Software Organizations
by: Khojah, Ranim, et al.
Published: (2025)

LLM-Empowered Functional Safety and Security by Design in Automotive Systems
by: Petrovic, Nenad, et al.
Published: (2026)

Testing, Evaluation, Verification and Validation (TEVV) of Digital Twins: A Comprehensive Framework
by: Waters, Gabriella
Published: (2025)

LLM4VV: Exploring LLM-as-a-Judge for Validation and Verification Testsuites
by: Sollenberger, Zachariah, et al.
Published: (2024)

Challenges of Requirements Communication and Digital Assets Verification in Infrastructure Projects
by: Abdeen, Waleed, et al.
Published: (2025)

Towards Safety-Compliant Transformer Architectures for Automotive Systems
by: Kirchner, Sven, et al.
Published: (2026)

A Theory-driven Interpretation and Elaboration of Verification and Validation
by: Kannan, Hanumanthrao, et al.
Published: (2025)

ChangeGuard: Validating Code Changes via Pairwise Learning-Guided Execution
by: Gröninger, Lars, et al.
Published: (2024)

Automatic Assertion Mining in Assertion-Based Verification: Techniques, Challenges, and Future Directions
by: Iman, Mohammad Reza Heidari, et al.
Published: (2026)

On Simulation-Guided LLM-based Code Generation for Safe Autonomous Driving Software
by: Nouri, Ali, et al.
Published: (2025)

AUTOFRAME -- A Software-driven Integration Framework for Automotive Systems
by: Kirchner, Sven, et al.
Published: (2025)

Leveraging Large Language Models for Cybersecurity Risk Assessment -- A Case from Forestry Cyber-Physical Systems
by: Gultekin, Fikret Mert, et al.
Published: (2025)

A Graphics Function Standard Specification Validator
by: Fraser, Steven D., et al.
Published: (2024)

Incorporating Verification Standards for Security Requirements Generation from Functional Specifications
by: Lian, Xiaoli, et al.
Published: (2025)

An AUTOSAR-Aligned Architectural Study of Vulnerabilities in Automotive SoC Software
by: Basu, Srijita, et al.
Published: (2025)

ASIL-Decomposition Based Resource Allocation Optimization for Automotive E/E Architectures
by: Zaheri, Dorsa, et al.
Published: (2025)

Scalpel: Automotive Deep Learning Framework Testing via Assembling Model Components
by: Zou, Yinglong, et al.
Published: (2025)