Stress Testing Control Loops in Cyber-Physical Systems - RCR Report

This is the Replicated Computational Results (RCR) Report for the article “
Stress Testing Control Loops in Cyber-Physical Systems
.” The article proposes a novel approach for testing Cyber-Physical Systems (CPS) based on the integration of the guarantees that can be provided with the control theoretical models into the software testing practices. This RCR report describes how to reproduce the empirical results of the article. We make available the different scripts needed to fully replicate the results obtained in our article.