:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Hasrat, Imran Riaz, Kang, Eun-Young, Graulund, Christian Uldal
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Software Engineering
Online-Zugang:	https://arxiv.org/abs/2503.21965
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Causality-aware Safety Testing for Autonomous Driving Systems
von: Tang, Wenbing, et al.
Veröffentlicht: (2025)

An Alignment Between the CRA's Essential Requirements and the ATT&CK's Mitigations
von: Ruohonen, Jukka, et al.
Veröffentlicht: (2025)

A Mapping Analysis of Requirements Between the CRA and the GDPR
von: Ruohonen, Jukka, et al.
Veröffentlicht: (2025)

SafePlanner: Testing Safety of the Automated Driving System Plan Model
von: Kim, Dohyun, et al.
Veröffentlicht: (2026)

AI-augmented Automation for Real Driving Prediction: an Industrial Use Case
von: Eramo, Romina, et al.
Veröffentlicht: (2024)

Agents4PLC: Automating Closed-loop PLC Code Generation and Verification in Industrial Control Systems using LLM-based Agents
von: Liu, Zihan, et al.
Veröffentlicht: (2024)

Quantifying Uncertainty in FMEDA Safety Metrics: An Error Propagation Approach for Enhanced ASIC Verification
von: Armato, Antonino, et al.
Veröffentlicht: (2026)

LLM-Based Static Verification of Code Against Natural-Language Requirements: An Industrial Experience Report
von: Zhou, Zhi Quan, et al.
Veröffentlicht: (2026)

Agentic Verification of Software Systems
von: Tu, Haoxin, et al.
Veröffentlicht: (2025)

Event-Chain Analysis for Automated Driving and ADAS Systems: Ensuring Safety and Meeting Regulatory Timing Requirements
von: Dingler, Sebastian, et al.
Veröffentlicht: (2025)

An Industrial Experience Report about Challenges from Continuous Monitoring, Improvement, and Deployment for Autonomous Driving Features
von: Nouri, Ali, et al.
Veröffentlicht: (2024)

LMM-enhanced Safety-Critical Scenario Generation for Autonomous Driving System Testing From Non-Accident Traffic Videos
von: Tian, Haoxiang, et al.
Veröffentlicht: (2024)

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

Formal Verification of Consistency for Systems with Redundant Controllers
von: Johansson, Bjarne, et al.
Veröffentlicht: (2024)

Predicting Safety Misbehaviours in Autonomous Driving Systems using Uncertainty Quantification
von: Grewal, Ruben, et al.
Veröffentlicht: (2024)

Towards the Coordination and Verification of Heterogeneous Systems with Data and Time
von: Kräuter, Tim, et al.
Veröffentlicht: (2025)

Emotion Classification In Software Engineering Texts: A Comparative Analysis of Pre-trained Transformers Language Models
von: Imran, Mia Mohammad
Veröffentlicht: (2024)

Industrial Survey on Robustness Testing In Cyber Physical Systems
von: Ponsard, Christophe, et al.
Veröffentlicht: (2026)

Simulation-Based Application of Safety of The Intended Functionality to Mitigate Foreseeable Misuse in Automated Driving Systems
von: Patel, Milin, et al.
Veröffentlicht: (2025)

Moral Testing of Autonomous Driving Systems
von: Tang, Wenbing, et al.
Veröffentlicht: (2025)

MARL-OT: Multi-Agent Reinforcement Learning Guided Online Fuzzing to Detect Safety Violation in Autonomous Driving Systems
von: Liang, Linfeng, et al.
Veröffentlicht: (2025)

Integrated Modeling, Verification, and Code Generation for Unmanned Aerial Systems
von: Zhang, Jianyu, et al.
Veröffentlicht: (2024)

A Scalable Framework for Safety Assurance of Self-Driving Vehicles based on Assurance 2.0
von: Chen, Shufeng, et al.
Veröffentlicht: (2025)

Verification and Validation of Autonomous Systems
von: Shetiya, Sneha Sudhir, et al.
Veröffentlicht: (2024)

Industrial Practices of Requirements Engineering for ML-Enabled Systems in Brazil
von: Alves, Antonio Pedro Santos, et al.
Veröffentlicht: (2024)

An LLM-driven Scenario Generation Pipeline Using an Extended Scenic DSL for Autonomous Driving Safety Validation
von: Safa, Fida Khandaker, et al.
Veröffentlicht: (2026)

Towards Automated Driving Violation Cause Analysis in Scenario-Based Testing for Autonomous Driving Systems
von: Wan, Ziwen, et al.
Veröffentlicht: (2024)

UniSTPA: A Safety Analysis Framework for End-to-End Autonomous Driving
von: Kou, Hongrui, et al.
Veröffentlicht: (2025)

Finding the Needle in the Crash Stack: Industrial-Scale Crash Root Cause Localization with AutoCrashFL
von: Kang, Sungmin, et al.
Veröffentlicht: (2025)

VeriODD: From YAML to SMT-LIB -- Automating Verification of Operational Design Domains
von: Rafie, Bassel, et al.
Veröffentlicht: (2025)

Challenges in the Safety-Security Co-Assurance of Collaborative Industrial Robots
von: Gleirscher, Mario, et al.
Veröffentlicht: (2020)

Flexible Control Flow Graph Alignment for Delivering Data-Driven Feedback to Novice Programming Learners
von: Chowdhury, Md Towhidul Absar, et al.
Veröffentlicht: (2024)

ADPerf: Investigating and Testing Performance in Autonomous Driving Systems
von: Pham, Tri Minh-Triet, et al.
Veröffentlicht: (2025)

Misbehavior Forecasting for Focused Autonomous Driving Systems Testing
von: Naziri, M M Abid, et al.
Veröffentlicht: (2025)

Foundation Models for Autonomous Driving System: An Initial Roadmap
von: Wu, Xiongfei, et al.
Veröffentlicht: (2025)

Modeling Language for Scenario Development of Autonomous Driving Systems
von: Aoki, Toshiaki, et al.
Veröffentlicht: (2025)

LLM4VV: Exploring LLM-as-a-Judge for Validation and Verification Testsuites
von: Sollenberger, Zachariah, et al.
Veröffentlicht: (2024)

Containment Verification: AI Safety Guarantees Independent of Alignment
von: Moon, Royce, et al.
Veröffentlicht: (2026)

"Silent Is Not Actually Silent": An Investigation of Toxicity on Bug Report Discussion
von: Imran, Mia Mohammad, et al.
Veröffentlicht: (2025)

On the Flakiness of LLM-Generated Tests for Industrial and Open-Source Database Management Systems
von: Berndt, Alexander, et al.
Veröffentlicht: (2026)