activity
20212026
most citedGenMorph: Automatically Generating Metamorphic Relations via Genetic Programming

20 citations · 64 across the 26 of their papers we have counts for

collaborators
Showing 2024Show all

5 papers · 1 filter

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★ 5 cited

Foundation Models for the Digital Twin Creation of Cyber-Physical Systems

Shaukat Ali, Paolo Arcaini, Aitor Arrieta

Foundation models are trained on a large amount of data to learn generic patterns. Consequently, these models can be used and fine-tuned for various purposes. Naturally, studying s…

cs.SE2024★ 1 cited

Search-based Automated Program Repair of CPS Controllers Modeled in Simulink-Stateflow

Aitor Arrieta, Pablo Valle, Shaukat Ali

Stateflow models are widely used in the industry to model the high-level control logic of Cyber-Physical Systems (CPSs) in Simulink--the defacto CPS simulator. Many approaches exis…

cs.SE2024★ 1 cited

Reality Bites: Assessing the Realism of Driving Scenarios with Large Language Models

Jiahui Wu, Chengjie Lu, Aitor Arrieta +2

Large Language Models (LLMs) are demonstrating outstanding potential for tasks such as text generation, summarization, and classification. Given that such models are trained on a h…

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…