Article (Scientific journals)
Testing Abstractions for Cyber-Physical Control Systems - RCR Report
MANDRIOLI, Claudio; Nyberg Carlsson, Max; Maggio, Martina
2025In ACM Transactions on Software Engineering and Methodology
Peer Reviewed verified by ORBi Dataset
 

Files


Full Text
main.pdf
Author preprint (183.09 kB) Creative Commons License - Attribution
Download

All documents in ORBilu are protected by a user license.

Send to



Details



Keywords :
Cyber-Physical Systems; Software Testing; X-in-the-loop Testing
Abstract :
[en] This is the Replicated Computational Results (RCR) Report for the article “ Testing Abstractions for Cyber-Physical Control Systems .” The article empirically studies how substituting different components in Cyber-Physical Systems (CPSs) testing with simulators impacts the fault-exposition. This RCR report describes the artefacts used in the paper, how to use the testing setups used in the article, and how to reproduce the empirical results of the article.
Research center :
Interdisciplinary Centre for Security, Reliability and Trust (SnT) > SVV - Software Verification and Validation
Disciplines :
Computer science
Author, co-author :
MANDRIOLI, Claudio  ;  University of Luxembourg
Nyberg Carlsson, Max ;  Lund Univeristy, Sweden
Maggio, Martina ;  Saarland Univeristy, Germany and Lund University, Sweden
External co-authors :
yes
Language :
English
Title :
Testing Abstractions for Cyber-Physical Control Systems - RCR Report
Publication date :
21 May 2025
Journal title :
ACM Transactions on Software Engineering and Methodology
ISSN :
1049-331X
Publisher :
Association for Computing Machinery (ACM)
Peer reviewed :
Peer Reviewed verified by ORBi
Focus Area :
Computational Sciences
European Projects :
HE - 101148870 - ContTestCPS - Control Theory-based Testing of Cyber-Physical Systems
Funders :
European Union
Available on ORBilu :
since 15 September 2025

Statistics


Number of views
21 (3 by Unilu)
Number of downloads
5 (1 by Unilu)

OpenCitations
 
0
OpenAlex citations
 
0

Bibliography


Similar publications



Contact ORBilu