68 citations · 109 across the 12 of their papers we have counts for
12 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…
Quantum Software Engineering: Roadmap and Challenges Ahead
Juan M. Murillo, Jose Garcia-Alonso, Enrique Moguel +13
As quantum computers advance, the complexity of the software they can execute increases as well. To ensure this software is efficient, maintainable, reusable, and cost-effective -k…
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…
Model-based Digital Twins of Medicine Dispensers for Healthcare IoT Applications
Hassan Sartaj, Shaukat Ali, Tao Yue +1
Healthcare applications with the Internet of Things (IoT) are often safety-critical, thus, require extensive testing. Such applications are often connected to smart medical devices…
Quantum Approximate Optimization Algorithm for Test Case Optimization
Xinyi Wang, Shaukat Ali, Tao Yue +1
Test case optimization (TCO) reduces software testing cost while preserving its effectiveness, but solving TCO problems for large-scale and complex systems requires substantial com…
EpiTESTER: Testing Autonomous Vehicles with Epigenetic Algorithm and Attention Mechanism
Chengjie Lu, Shaukat Ali, Tao Yue
Testing autonomous vehicles (AVs) under various environmental scenarios that lead the vehicles to unsafe situations is known to be challenging. Given the infinite possible environm…
Safety Assessment of Vehicle Characteristics Variations in Autonomous Driving Systems
Qi Pan, Tiexin Wang, Paolo Arcaini +2
Autonomous driving systems (ADSs) must be sufficiently tested to ensure their safety. Though various ADS testing methods have shown promising results, they are limited to a fixed s…
Uncertainty-Aware Test Prioritization: Approaches and Empirical Evaluation
Man Zhang, Jiahui Wu, Shaukat Ali +1
Complex software systems, e.g., Cyber-Physical Systems (CPSs), interact with the real world; thus, they often behave unexpectedly in uncertain environments. Testing such systems is…
Quantum Circuit Mutants: Empirical Analysis and Recommendations
Eñaut Mendiluze Usandizaga, Tao Yue, Paolo Arcaini +1
As a new research area, quantum software testing lacks systematic testing benchmarks to assess testing techniques' effectiveness. Recently, some open-source benchmarks and mutation…
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…
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…