:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Waters, Gabriella
Format:	Preprint
Published:	2025
Subjects:	Software Engineering
Online Access:	https://arxiv.org/abs/2507.04555
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Reusing Model Validation Methods for the Continuous Validation of Digital Twins of Cyber-Physical Systems
by: Mertens, Joost, et al.
Published: (2025)

Verification of Digital Twins using Classical and Statistical Model Checking
by: Gunasekaran, Raghavendran, et al.
Published: (2025)

Validating Terrain Models in Digital Twins for Trustworthy sUAS Operations
by: Bernal, Arturo Miguel Russell, et al.
Published: (2025)

From Digital Twins to Digital Twin Prototypes: Concepts, Formalization, and Applications
by: Barbie, Alexander, et al.
Published: (2024)

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

Enabling Automated Integration Testing of Smart Farming Applications via Digital Twin Prototypes
by: Barbie, Alexander, et al.
Published: (2023)

AI-Augmented Metamorphic Testing for Comprehensive Validation of Autonomous Vehicles
by: Zhang, Tony, et al.
Published: (2025)

Towards an Extensible Model-Based Digital Twin Framework for Space Launch Vehicles
by: Wei, Ran, et al.
Published: (2024)

A Semantic Framework for Patient Digital Twins in Chronic Care
by: Elgammal, Amal, et al.
Published: (2025)

A Generalized Feature Model for Digital Twins
by: Zech, Philipp, et al.
Published: (2026)

An Expert Survey on Models and Digital Twins
by: Reif, Jonathan, et al.
Published: (2025)

Digital Twins for Software Engineering Processes
by: Kimmel, Robin, et al.
Published: (2025)

Towards Federated Digital Twin Platforms
by: Frasheri, Mirgita, et al.
Published: (2025)

TwinArch: A Digital Twin Reference Architecture
by: Somma, Alessandra, et al.
Published: (2025)

Challenges of Virtual Validation and Verification for Automotive Functions
by: Cabrero-Daniel, Beatriz, et al.
Published: (2025)

CIRCLE: A Framework for Evaluating AI from a Real-World Lens
by: Schwartz, Reva, et al.
Published: (2026)

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

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

Digital Twin as a Service (DTaaS): A Platform for Digital Twin Developers and Users
by: Talasila, Prasad, et al.
Published: (2023)

Combining Tests and Proofs for Better Software Verification
by: Huang, Li, et al.
Published: (2026)

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

Continuous Evolution of Digital Twins using the DarTwin Notation
by: Mertens, Joost, et al.
Published: (2024)

Semantic Grounding of Digital Twin Metamodels Using RDF Graphs
by: Abbasi, Faima, et al.
Published: (2025)

Uncertainty-Aware Environment Simulation of Medical Devices Digital Twins
by: Sartaj, Hassan, et al.
Published: (2024)

Foundation Models for the Digital Twin Creation of Cyber-Physical Systems
by: Ali, Shaukat, et al.
Published: (2024)

APDT: A Digital Twin for Assessing Access Point Characteristics in a Network
by: Yashaswinee, D. Sree, et al.
Published: (2025)

A Model-Driven Digital Twin for the Systematic Improvement of DevOps Pipelines
by: Samoud, Achref, et al.
Published: (2026)

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

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

The Composition of Digital Twins for Systems-of-Systems: a Systematic Literature Review
by: Khedr, Mennatullah T., et al.
Published: (2025)

Current Trends in Digital Twin Development, Maintenance, and Operation: An Interview Study
by: Muctadir, Hossain Muhammad, et al.
Published: (2023)

Model-based Digital Twins of Medicine Dispensers for Healthcare IoT Applications
by: Sartaj, Hassan, et al.
Published: (2023)

Toward Reproducibility of Digital Twin Research: Exemplified with the PiCar-X
by: Barbie, Alexander, et al.
Published: (2024)

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

Code Digital Twin: A Knowledge Infrastructure for AI-Assisted Complex Software Development
by: Peng, Xin, et al.
Published: (2025)

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

A Case Study on the Application of Digital Twins for Enhancing CPS Operations
by: Muntean, Irina, et al.
Published: (2025)

A Construction-Phase Digital Twin Framework for Quality Assurance and Decision Support in Civil Infrastructure Projects
by: Islam, Md Asiful, et al.
Published: (2026)

A Comprehensive Empirical Evaluation of Agent Frameworks on Code-centric Software Engineering Tasks
by: Yin, Zhuowen, et al.
Published: (2025)

AutoDFBench 1.0: A Benchmarking Framework for Digital Forensic Tool Testing and Generated Code Evaluation
by: Wickramasekara, Akila, et al.
Published: (2025)