[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