Cover Image

Methodology for Test Case Allocation based on a Formalized ODD

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Skoglund, Martin, Warg, Fredrik, Thoren, Anders, Punnekkat, Sasikumar, Hansson, Hans
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

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

AI Safety Assurance in Electric Vehicles: A Case Study on AI-Driven SOC Estimation
by: Skoglund, Martin, et al.
Published: (2025)

Formally Guaranteed Control Adaptation for ODD-Resilient Autonomous Systems
by: Vázquez, Gricel, et al.
Published: (2026)

VeriODD: From YAML to SMT-LIB -- Automating Verification of Operational Design Domains
by: Rafie, Bassel, et al.
Published: (2025)

Formalizing Regression Testing for Agile and Continuous Integration Environments
by: Das, Suddhasvatta, et al.
Published: (2025)

A Data Annotation Requirements Representation and Specification (DARS)
by: Peng, Yi, et al.
Published: (2025)

BUMP: A Benchmark of Reproducible Breaking Dependency Updates
by: Reyes, Frank, et al.
Published: (2024)

Formally and Empirically Verified Methodologies for Scalable Hierarchical Full-Stack Systems
by: Liu, Dong
Published: (2025)

Formal Analysis of Reachability, Infection and Propagation Conditions in Mutation Testing
by: Mirian-Hosseinabadi, Seyed-Hassan
Published: (2024)

Annotating Control-Flow Graphs for Formalized Test Coverage Criteria
by: Kauffman, Sean, et al.
Published: (2024)

MuMuTestUp: Mutation-based Multi-Agent Test Case Update
by: Tian, Dawei, et al.
Published: (2026)

Extracting Formal Specifications from Documents Using LLMs for Automated Testing
by: Li, Hui, et al.
Published: (2025)

Reinforcement Learning with Negative Tests as Completeness Signal for Formal Specification Synthesis
by: Huang, Zhechong, et al.
Published: (2026)

Automatic Generation of Formal Specification and Verification Annotations Using LLMs and Test Oracles
by: Faria, João Pascoal, et al.
Published: (2026)

An Autonomous RL Agent Methodology for Dynamic Web UI Testing in a BDD Framework
by: Mughal, Ali Hassaan
Published: (2025)

Automated Penetration Testing: Formalization and Realization
by: Skandylas, Charilaos, et al.
Published: (2024)

TEASMA: A Practical Methodology for Test Adequacy Assessment of Deep Neural Networks
by: Abbasishahkoo, Amin, et al.
Published: (2023)

Assurance Case Development for Evolving Software Product Lines: A Formal Approach
by: Murphy, Logan, et al.
Published: (2025)

Explicating Tacit Regulatory Knowledge from LLMs to Auto-Formalize Requirements for Compliance Test Case Generation
by: Xue, Zhiyi, et al.
Published: (2026)

Generalizing Test Cases for Comprehensive Test Scenario Coverage
by: Qi, Binhang, et al.
Published: (2026)

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

Vision: An Extensible Methodology for Formal Software Verification in Microservice Systems
by: Wojtak, Connor, et al.
Published: (2025)

A Formal-Methods Approach to Provide Evidence in Automated-Driving Safety Cases
by: Krook, Jonas, et al.
Published: (2022)

Dynamic Test Case Prioritization in Industrial Test Result Datasets
by: Torbunova, Alina, et al.
Published: (2024)

From Requirements to Test Cases: An NLP-Based Approach for High-Performance ECU Test Case Automation
by: Medeshetty, Nikitha, et al.
Published: (2025)

KRAFT -- A Knowledge-Graph-Based Resource Allocation Framework
by: Bein, Leon, et al.
Published: (2025)

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

Test Case Minimization with Quantum Annealers
by: Wang, Xinyi, et al.
Published: (2023)

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

A Hypergraph-based Formalization of Hierarchical Reactive Modules and a Compositional Verification Method
by: Ishii, Daisuke
Published: (2024)

Issue2Test: Generating Reproducing Test Cases from Issue Reports
by: Nashid, Noor, et al.
Published: (2025)

Software Engineering as a Domain to Formalize
by: Meyer, Bertrand
Published: (2025)

Gradient-Based Program Repair: Fixing Bugs in Continuous Program Spaces
by: Silva, André, et al.
Published: (2025)

Automatic Test-Case Reduction in Proof Assistants: A Case Study in Coq
by: Gross, Jason, et al.
Published: (2022)

Formal Verification of Legal Contracts: A Translation-based Approach (Extended Version)
by: Hähnle, Reiner, et al.
Published: (2025)

Towards an Agentic LLM-based Approach to Requirement Formalization from Unstructured Specifications
by: Tagliaferro, Alberto, et al.
Published: (2026)

Investigating the Performance of Small Language Models in Detecting Test Smells in Manual Test Cases
by: Lucas, Keila, et al.
Published: (2025)

Test Case Specification Techniques and System Testing Tools in the Automotive Industry: A Review
by: Zyberaj, Denesa, et al.
Published: (2025)

Fix the Tests: Augmenting LLMs to Repair Test Cases with Static Collector and Neural Reranker
by: Liu, Jun, et al.
Published: (2024)

ATGen: Adversarial Reinforcement Learning for Test Case Generation
by: Li, Qingyao, et al.
Published: (2025)