:: Library Catalog

Image de couverture de livre

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Hasrat, Imran Riaz, Kang, Eun-Young, Graulund, Christian Uldal
Format:	Preprint
Publié:	2025
Sujets:	Software Engineering
Accès en ligne:	https://arxiv.org/abs/2503.21965
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Causality-aware Safety Testing for Autonomous Driving Systems
par: Tang, Wenbing, et autres
Publié: (2025)

An Alignment Between the CRA's Essential Requirements and the ATT&CK's Mitigations
par: Ruohonen, Jukka, et autres
Publié: (2025)

A Mapping Analysis of Requirements Between the CRA and the GDPR
par: Ruohonen, Jukka, et autres
Publié: (2025)

SafePlanner: Testing Safety of the Automated Driving System Plan Model
par: Kim, Dohyun, et autres
Publié: (2026)

AI-augmented Automation for Real Driving Prediction: an Industrial Use Case
par: Eramo, Romina, et autres
Publié: (2024)

Agents4PLC: Automating Closed-loop PLC Code Generation and Verification in Industrial Control Systems using LLM-based Agents
par: Liu, Zihan, et autres
Publié: (2024)

Quantifying Uncertainty in FMEDA Safety Metrics: An Error Propagation Approach for Enhanced ASIC Verification
par: Armato, Antonino, et autres
Publié: (2026)

LLM-Based Static Verification of Code Against Natural-Language Requirements: An Industrial Experience Report
par: Zhou, Zhi Quan, et autres
Publié: (2026)

Agentic Verification of Software Systems
par: Tu, Haoxin, et autres
Publié: (2025)

Event-Chain Analysis for Automated Driving and ADAS Systems: Ensuring Safety and Meeting Regulatory Timing Requirements
par: Dingler, Sebastian, et autres
Publié: (2025)

An Industrial Experience Report about Challenges from Continuous Monitoring, Improvement, and Deployment for Autonomous Driving Features
par: Nouri, Ali, et autres
Publié: (2024)

LMM-enhanced Safety-Critical Scenario Generation for Autonomous Driving System Testing From Non-Accident Traffic Videos
par: Tian, Haoxiang, et autres
Publié: (2024)

Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems
par: Kirchner, Sven, et autres
Publié: (2025)

Formal Verification of Consistency for Systems with Redundant Controllers
par: Johansson, Bjarne, et autres
Publié: (2024)

Predicting Safety Misbehaviours in Autonomous Driving Systems using Uncertainty Quantification
par: Grewal, Ruben, et autres
Publié: (2024)

Towards the Coordination and Verification of Heterogeneous Systems with Data and Time
par: Kräuter, Tim, et autres
Publié: (2025)

Emotion Classification In Software Engineering Texts: A Comparative Analysis of Pre-trained Transformers Language Models
par: Imran, Mia Mohammad
Publié: (2024)

Industrial Survey on Robustness Testing In Cyber Physical Systems
par: Ponsard, Christophe, et autres
Publié: (2026)

Simulation-Based Application of Safety of The Intended Functionality to Mitigate Foreseeable Misuse in Automated Driving Systems
par: Patel, Milin, et autres
Publié: (2025)

Moral Testing of Autonomous Driving Systems
par: Tang, Wenbing, et autres
Publié: (2025)

MARL-OT: Multi-Agent Reinforcement Learning Guided Online Fuzzing to Detect Safety Violation in Autonomous Driving Systems
par: Liang, Linfeng, et autres
Publié: (2025)

Integrated Modeling, Verification, and Code Generation for Unmanned Aerial Systems
par: Zhang, Jianyu, et autres
Publié: (2024)

A Scalable Framework for Safety Assurance of Self-Driving Vehicles based on Assurance 2.0
par: Chen, Shufeng, et autres
Publié: (2025)

Verification and Validation of Autonomous Systems
par: Shetiya, Sneha Sudhir, et autres
Publié: (2024)

Industrial Practices of Requirements Engineering for ML-Enabled Systems in Brazil
par: Alves, Antonio Pedro Santos, et autres
Publié: (2024)

An LLM-driven Scenario Generation Pipeline Using an Extended Scenic DSL for Autonomous Driving Safety Validation
par: Safa, Fida Khandaker, et autres
Publié: (2026)

Towards Automated Driving Violation Cause Analysis in Scenario-Based Testing for Autonomous Driving Systems
par: Wan, Ziwen, et autres
Publié: (2024)

UniSTPA: A Safety Analysis Framework for End-to-End Autonomous Driving
par: Kou, Hongrui, et autres
Publié: (2025)

Finding the Needle in the Crash Stack: Industrial-Scale Crash Root Cause Localization with AutoCrashFL
par: Kang, Sungmin, et autres
Publié: (2025)

VeriODD: From YAML to SMT-LIB -- Automating Verification of Operational Design Domains
par: Rafie, Bassel, et autres
Publié: (2025)

Challenges in the Safety-Security Co-Assurance of Collaborative Industrial Robots
par: Gleirscher, Mario, et autres
Publié: (2020)

Flexible Control Flow Graph Alignment for Delivering Data-Driven Feedback to Novice Programming Learners
par: Chowdhury, Md Towhidul Absar, et autres
Publié: (2024)

ADPerf: Investigating and Testing Performance in Autonomous Driving Systems
par: Pham, Tri Minh-Triet, et autres
Publié: (2025)

Misbehavior Forecasting for Focused Autonomous Driving Systems Testing
par: Naziri, M M Abid, et autres
Publié: (2025)

Foundation Models for Autonomous Driving System: An Initial Roadmap
par: Wu, Xiongfei, et autres
Publié: (2025)

Modeling Language for Scenario Development of Autonomous Driving Systems
par: Aoki, Toshiaki, et autres
Publié: (2025)

LLM4VV: Exploring LLM-as-a-Judge for Validation and Verification Testsuites
par: Sollenberger, Zachariah, et autres
Publié: (2024)

Containment Verification: AI Safety Guarantees Independent of Alignment
par: Moon, Royce, et autres
Publié: (2026)

"Silent Is Not Actually Silent": An Investigation of Toxicity on Bug Report Discussion
par: Imran, Mia Mohammad, et autres
Publié: (2025)

On the Flakiness of LLM-Generated Tests for Industrial and Open-Source Database Management Systems
par: Berndt, Alexander, et autres
Publié: (2026)