46 citations · 99 across the 15 of their papers we have counts for
15 papers
A Machine Learning-Based Error Mitigation Approach For Reliable Software Development On IBM'S Quantum Computers
Asmar Muqeet, Shaukat Ali, Tao Yue +1
Quantum computers have the potential to outperform classical computers for some complex computational problems. However, current quantum computers (e.g., from IBM and Google) have…
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…
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…
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…
DeepQTest: Testing Autonomous Driving Systems with Reinforcement Learning and Real-world Weather Data
Chengjie Lu, Tao Yue, Man Zhang +1
Autonomous driving systems (ADSs) are capable of sensing the environment and making driving decisions autonomously. These systems are safety-critical, and testing them is one of th…
Cost Reduction on Testing Evolving Cancer Registry System
Erblin Isaku, Hassan Sartaj, Christoph Laaber +4
The Cancer Registration Support System (CaReSS), built by the Cancer Registry of Norway (CRN), is a complex real-world socio-technical software system that undergoes continuous evo…