[HTML][HTML] Reliability and safety of elevators and escalators/travelators: past, present and future

PK Man, CN Wong, WK Chan, HH Lee, J Huang… - Results in …, 2025 - Elsevier
Elevators, escalators and travelators have been developed to enable people to save time
and physical strength when traveling. As places such as shop** malls, hotels and airports …

Application of quantum extreme learning machines for qos prediction of elevators' software in an industrial context

X Wang, S Ali, A Arrieta, P Arcaini… - … Proceedings of the 32nd …, 2024 - dl.acm.org
Quantum Extreme Learning Machine (QELM) is an emerging technique that utilizes
quantum dynamics and an easy-training strategy to solve problems such as classification …

Are elevator software robust against uncertainties? results and experiences from an industrial case study

L Han, T Yue, S Ali, A Arrieta, M Arratibel - Proceedings of the 30th ACM …, 2022 - dl.acm.org
Industrial elevator systems are complex Cyber-Physical Systems operating in uncertain
environments and experiencing uncertain passenger behaviors, hardware delays, and …

Automated misconfiguration repair of configurable cyber-physical systems with search: an industrial case study on elevator dispatching algorithms

P Valle, A Arrieta, M Arratibel - 2023 IEEE/ACM 45th …, 2023 - ieeexplore.ieee.org
Real-world Cyber-Physical Systems (CPSs) are usually configurable. Through parameters, it
is possible to configure, select or unselect different system functionalities. While this …

Assessing quantum extreme learning machines for software testing in practice

A Muqeet, H Sartaj, A Arrieta, S Ali, P Arcaini… - ar** study
A Fontes, G Gay - Software Testing, Verification and Reliability, 2023 - Wiley Online Library
Abstract Machine learning (ML) may enable effective automated test generation. We
characterize emerging research, examining testing practices, researcher goals, ML …

Gas‐centered mutation testing of Ethereum Smart Contracts

P Delgado‐Pérez, I Meléndez‐Lapi… - Journal of Software …, 2024 - Wiley Online Library
Smart contracts (SC) are programs embodying certain business logic stored on a blockchain
network like Ethereum. The execution of transactions on SC has a cost, measured in gas …

Software issues report for bug fixing process: An empirical study of machine-learning libraries

A Ajibode, D Yunwei, Y Hongji - arxiv preprint arxiv:2312.06005, 2023 - arxiv.org
Issue resolution and bug-fixing processes are essential in the development of machine-
learning libraries, similar to software development, to ensure well-optimized functions …

Automatic Bug Triaging Process: An Enhanced Machine Learning Approach through Large Language Models

D Chhabra, R Chadha - Engineering, Technology & Applied Science …, 2024 - etasr.com
Bug resolution and maintenance are the most critical phases of the software development
life cycle. The traditional bug triaging concept refers to the manual assignment of bugs to the …

DevOps for Cyber-Physical Systems: Objectives, Results and Lessons Learned from the Adeptness H2020 Project

A Arrieta, G Sagardui, A Agirre… - 2023 26th Euromicro …, 2023 - ieeexplore.ieee.org
While most large web-based software systems (eg, Amazon, Google) release a new
software version every almost a minute, in the context of Cyber-Physical Systems (CPSs) …