Cover Image

Coupled Requirements-driven Testing of CPS: From Simulation To Reality

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Agrawal, Ankit, Zech, Philipp, Vierhauser, Michael
Format:	Preprint
Published:	2024
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

LLM-Agents Driven Automated Simulation Testing and Analysis of small Uncrewed Aerial Systems
by: Duvvuru, Venkata Sai Aswath, et al.
Published: (2025)

HM-Req: A Framework for Embedding Values within CPS Human Monitoring Requirements
by: Pfister, Zoe, et al.
Published: (2026)

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

Scenario-Based Field Testing of Drone Missions
by: Vierhauser, Michael, et al.
Published: (2024)

DroneWiS: Automated Simulation Testing of small Unmanned Aerial Systems in Realistic Windy Conditions
by: Zhang, Bohan, et al.
Published: (2024)

Requirements Engineering for a Web-based Research, Technology & Innovation Monitoring Tool
by: Mazak-Huemer, Alexandra, et al.
Published: (2025)

AutonomyLens: A Self-Evolving Simulation-Based Testing Loop for Autonomous Systems
by: Agrawal, Ankit, et al.
Published: (2026)

Sustaining Research Software: A Fitness Function Approach
by: Zech, Philipp, et al.
Published: (2025)

Towards Integrating Emerging AI Applications in SE Education
by: Vierhauser, Michael, et al.
Published: (2024)

Bringing AI into the Classroom: A Structured Approach for Integrating AI into Software Engineering Education
by: Groher, Iris, et al.
Published: (2026)

Design and Deployment of a Course-Aware AI Tutor in an Introductory Programming Course
by: Groher, Iris, et al.
Published: (2026)

Testing CPS with Design Assumptions-Based Metamorphic Relations and Genetic Programming
by: Mandrioli, Claudio, et al.
Published: (2024)

ACT: Automated CPS Testing for Open-Source Robotic Platforms
by: Krishnan, Aditya A., et al.
Published: (2026)

Uncovering Failures in Cyber-Physical System State Transitions: A Fuzzing-Based Approach Applied to sUAS
by: Chambers, Theodore, et al.
Published: (2026)

An Online Integrated Development Environment for Automated Programming Assessment Systems
by: Frankford, Eduard, et al.
Published: (2025)

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

Search-based Automated Program Repair of CPS Controllers Modeled in Simulink-Stateflow
by: Arrieta, Aitor, et al.
Published: (2024)

Towards a Value-Complemented Framework for Enabling Human Monitoring in Cyber-Physical Systems
by: Pfister, Zoe, et al.
Published: (2025)

From Runnable to Shippable: Multi-Agent Test-Driven Development for Generating Full-Stack Web Applications from Requirements
by: Wan, Yuxuan, et al.
Published: (2026)

Requirements-driven Slicing of Simulink Models Using LLMs
by: Luitel, Dipeeka, et al.
Published: (2024)

Requirements are All You Need: From Requirements to Code with LLMs
by: Wei, Bingyang
Published: (2024)

Requirement Identification for Traffic Simulations in Driving Simulators
by: Tarlowski, Sven, et al.
Published: (2025)

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

Uncertainty-Guided Label Rebalancing for CPS Safety Monitoring
by: Ayotunde, John, et al.
Published: (2026)

Search-based Testing of Simulink Models with Requirements Tables
by: Formica, Federico, et al.
Published: (2025)

Requirements-Based Test Generation: A Comprehensive Survey
by: Yang, Zhenzhen, et al.
Published: (2025)

Prompts Blend Requirements and Solutions: From Intent to Implementation
by: Chakraborty, Shalini, et al.
Published: (2026)

M&SCheck: Towards a Checklist to Support Software Engineering Newcomers to the Modeling and Simulation Area
by: Cintra, Luiza Martins de Freitas, et al.
Published: (2025)

A Survey on Feedback Types in Automated Programming Assessment Systems
by: Frankford, Eduard, et al.
Published: (2025)

AUITestAgent: Automatic Requirements Oriented GUI Function Testing
by: Hu, Yongxiang, et al.
Published: (2024)

Requirements-Driven Automated Software Testing: A Systematic Review
by: Wang, Fanyu, et al.
Published: (2025)

Generating Project-Specific Test Cases with Requirement Validation Intention
by: Qi, Binhang, et al.
Published: (2025)

Requirements Coverage-Guided Minimization for Natural Language Test Cases
by: Pan, Rongqi, et al.
Published: (2025)

Natural Language Processing for Requirements Traceability
by: Guo, Jin L. C., et al.
Published: (2024)

From Ad-Hoc Scripts to Orchestrated Pipelines: Architecting a Resilient ELT Framework for Developer Productivity Metrics
by: Agrawal, Yuvraj, et al.
Published: (2026)

Towards Building AI-CPS with NVIDIA Isaac Sim: An Industrial Benchmark and Case Study for Robotics Manipulation
by: Zhou, Zhehua, et al.
Published: (2023)

GAN-enhanced Simulation-driven DNN Testing in Absence of Ground Truth
by: Attaoui, Mohammed, et al.
Published: (2025)

Software Testing for Extended Reality Applications: A Systematic Mapping Study
by: Gu, Ruizhen, et al.
Published: (2025)

System Test Generation for Virtual Reality Applications using Scenario Models
by: Longfils, Gerry, et al.
Published: (2026)

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