Cover Image

Testing CPS with Design Assumptions-Based Metamorphic Relations and Genetic Programming

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Mandrioli, Claudio, Shin, Seung Yeob, Bianculli, Domenico, Briand, Lionel
Format:	Preprint
Published:	2024
Subjects:	Software Engineering Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Stress Testing Control Loops in Cyber-Physical Systems
by: Mandrioli, Claudio, et al.
Published: (2023)

Towards Generating Executable Metamorphic Relations Using Large Language Models
by: Shin, Seung Yeob, et al.
Published: (2024)

Randomized and Diverse Input State Generation for Quantum Program Testing
by: Ernzer, Maryse, et al.
Published: (2026)

Quantum Program Linting with LLMs: Emerging Results from a Comparative Study
by: Shin, Seung Yeob, et al.
Published: (2025)

Learning-Guided Fuzzing for Testing Stateful SDN Controllers
by: Ollando, Raphaël, et al.
Published: (2024)

Diagnosing Violations of State-based Specifications in iCFTL
by: Stratan, Cristina, et al.
Published: (2025)

Impact of Log Parsing on Deep Learning-Based Anomaly Detection
by: Khan, Zanis Ali, et al.
Published: (2023)

Trace Diagnostics for Signal-based Temporal Properties
by: Boufaied, Chaima, et al.
Published: (2022)

Beyond Rules: LLM-Powered Linting for Quantum Programs
by: Cassieri, Pietro, et al.
Published: (2026)

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

Learning-Based Relaxation of Completeness Requirements for Data Entry Forms
by: Belgacem, Hichem, et al.
Published: (2023)

LLM meets ML: Data-efficient Anomaly Detection on Unstable Logs
by: Hadadi, Fatemeh, et al.
Published: (2024)

Learning Failure-Inducing Models for Testing Software-Defined Networks
by: Ollando, Raphaël, et al.
Published: (2022)

SAGA: Detecting Security Vulnerabilities Using Static Aspect Analysis
by: Marquer, Yoann, et al.
Published: (2026)

Multi-Agent Specification-based Metamorphic Testing of FMU-Based Simulations
by: Kulshreshtha, Ashir, et al.
Published: (2026)

Systematic Evaluation of Deep Learning Models for Log-based Failure Prediction
by: Hadadi, Fatemeh, et al.
Published: (2023)

A Machine Learning Approach for Automated Filling of Categorical Fields in Data Entry Forms
by: Belgacem, Hichem, et al.
Published: (2022)

A Comprehensive Study of Machine Learning Techniques for Log-Based Anomaly Detection
by: Ali, Shan, et al.
Published: (2023)

Towards Counterfactual Explanation and Assertion Inference for CPS Debugging
by: Ghazal, Zaid, et al.
Published: (2026)

Can LLMs Solve Science or Just Write Code? Evaluating Quantum Solver Generation
by: Baresi, Luciano, et al.
Published: (2026)

Constrained Co-evolutionary Metamorphic Differential Testing for Autonomous Systems with an Interpretability Approach
by: Yousefizadeh, Hossein, et al.
Published: (2025)

AIM: Automated Input Set Minimization for Metamorphic Security Testing
by: Chaleshtari, Nazanin Bayati, et al.
Published: (2024)

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

Using Large Language Models for Black-Box Testing of FMU-Based Simulations
by: Mughees, Abdullah, et al.
Published: (2026)

Using Cooperative Co-evolutionary Search to Generate Metamorphic Test Cases for Autonomous Driving Systems
by: Yousefizadeh, Hossein, et al.
Published: (2024)

Towards a Taxonomy of Software Log Smells
by: Saarimäki, Nyyti, et al.
Published: (2024)

Test Schedule Generation for Acceptance Testing of Mission-Critical Satellite Systems
by: Ollando, Raphaël, et al.
Published: (2025)

HLSTester: Efficient Testing of Behavioral Discrepancies with LLMs for High-Level Synthesis
by: Xu, Kangwei, et al.
Published: (2025)

GenMorph: Automatically Generating Metamorphic Relations via Genetic Programming
by: Ayerdi, Jon, et al.
Published: (2023)

A Modifiable Architectural Design for Commercial Greenhouses Energy Economic Dispatch Testbed
by: Clausen, Christian Skafte Beck, et al.
Published: (2024)

Remote Assistance or Remote Driving: The Impact of Operational Design Domains on ADS-Supporting Systems Selection
by: Hans, Ole, et al.
Published: (2025)

Asset Administration Shell-Based OCL Validation Framework for Model-Based System Engineering
by: Parkash, Om, et al.
Published: (2026)

Quantifying and combining uncertainty for improving the behavior of Digital Twin Systems
by: Deantoni, Julien, et al.
Published: (2024)

A Piece of QAICCC: Towards a Countermeasure Against Crosstalk Attacks in Quantum Servers
by: Marquer, Yoann, et al.
Published: (2025)

Reasonable Experiments in Model-Based Systems Engineering
by: Cederbladh, Johan, et al.
Published: (2025)

A Model-Based Approach to Automated Digital Twin Generation in Manufacturing
by: Alexopoulos, Angelos, et al.
Published: (2025)

Learning Responsibility-Attributed Adversarial Scenarios for Testing Autonomous Vehicles
by: Xiao, Yizhuo, et al.
Published: (2026)

PCLA: A Framework for Testing Autonomous Agents in the CARLA Simulator
by: Tehrani, Masoud Jamshidiyan, et al.
Published: (2025)

Fuzzing-based Mutation Testing of C/C++ Software in Cyber-Physical Systems
by: Lee, Jaekwon, et al.
Published: (2025)

Drivora: A Unified and Extensible Infrastructure for Search-based Autonomous Driving Testing
by: Cheng, Mingfei, et al.
Published: (2026)