most citedAutomated Misconfiguration Repair of Configurable Cyber-Physical Systems with Search: an Industrial Case Study on Elevator Dispatching Algorithms

9 citations · 14 across the 5 of their papers we have counts for

collaborators

5 papers

cs.SE2024★ 2 cited

Assessing Quantum Extreme Learning Machines for Software Testing in Practice

Asmar Muqeet, Hassan Sartaj, Aitor Arrieta +6

Machine learning has been extensively applied for classical software testing activities such as test generation, minimization, and prioritization. Along the same lines, there has b…

cs.SE2024

Application of Quantum Extreme Learning Machines for QoS Prediction of Elevators' Software in an Industrial Context

Xinyi Wang, Shaukat Ali, Aitor Arrieta +2

Quantum Extreme Learning Machine (QELM) is an emerging technique that utilizes quantum dynamics and an easy-training strategy to solve problems such as classification and regressio…

cs.SE2023

Pretrain, Prompt, and Transfer: Evolving Digital Twins for Time-to-Event Analysis in Cyber-physical Systems

Qinghua Xu, Tao Yue, Shaukat Ali +1

Cyber-Physical Systems (CPSs), e.g., elevator systems and autonomous driving systems, are progressively permeating our everyday lives. To ensure their safety, various analyses need…

cs.SE2023★ 3 cited

Applying and Extending the Delta Debugging Algorithm for Elevator Dispatching Algorithms (Experience Paper)

Pablo Valle, Aitor Arrieta, Maite Arratibel

Elevator systems are one kind of Cyber-Physical Systems (CPSs), and as such, test cases are usually complex and long in time. This is mainly because realistic test scenarios are em…

cs.SE2023★ 9 cited

Automated Misconfiguration Repair of Configurable Cyber-Physical Systems with Search: an Industrial Case Study on Elevator Dispatching Algorithms

Pablo Valle, Aitor Arrieta, Maite Arratibel

Real-world Cyber-Physical Systems (CPSs) are usually configurable. Through parameters, it is possible to configure, select or unselect different system functionalities. While this…