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

Claudio Mandrioli; Seung Yeob Shin; Martina Maggio; Domenico Bianculli; Lionel Briand

doi:10.1145/3733715

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

Claudio Mandrioli
, Seung Yeob Shin
, Martina Maggio
, Domenico Bianculli
, Lionel Briand

Department of Computer Science & Information Systems

Research output: Contribution to journal › Article › peer-review

Abstract

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.

Original language	English
Article number	241
Journal	ACM Transactions on Software Engineering and Methodology
Volume	34
Issue number	8
DOIs	https://doi.org/10.1145/3733715
Publication status	Published - 17 Oct 2025

Keywords

Control Theory
Cyber-physical Systems
Software Testing

Access to Document

10.1145/3733715

Cite this

@article{584ea75e043b49859db3686bbb1ba14f,

title = "Stress Testing Control Loops in Cyber-Physical Systems—RCR Report",

abstract = "This is the Replicated Computational Results (RCR) Report for the article {\textquoteleft}Stress Testing Control Loops in Cyber-Physical Systems{\textquoteright}. 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.",

keywords = "Control Theory, Cyber-physical Systems, Software Testing",

author = "Claudio Mandrioli and Shin, \{Seung Yeob\} and Martina Maggio and Domenico Bianculli and Lionel Briand",

note = "Publisher Copyright: {\textcopyright} 2025 Copyright held by the owner/author(s).",

year = "2025",

month = oct,

day = "17",

doi = "10.1145/3733715",

language = "English",

volume = "34",

journal = "ACM Transactions on Software Engineering and Methodology",

issn = "1049-331X",

number = "8",

}

TY - JOUR

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

AU - Mandrioli, Claudio

AU - Shin, Seung Yeob

AU - Maggio, Martina

AU - Bianculli, Domenico

AU - Briand, Lionel

PY - 2025/10/17

Y1 - 2025/10/17

N2 - 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.

AB - 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.

KW - Control Theory

KW - Cyber-physical Systems

KW - Software Testing

UR - https://www.scopus.com/pages/publications/105022491377

U2 - 10.1145/3733715

DO - 10.1145/3733715

M3 - Article

AN - SCOPUS:105022491377

SN - 1049-331X

VL - 34

JO - ACM Transactions on Software Engineering and Methodology

JF - ACM Transactions on Software Engineering and Methodology

IS - 8

M1 - 241

ER -

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

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this