33 citations · 57 across the 8 of their papers we have counts for
9 papers
Quantum Machine Learning-based Test Oracle for Autonomous Mobile Robots
Xinyi Wang, Qinghua Xu, Paolo Arcaini +2
Robots are increasingly becoming part of our daily lives, interacting with both the environment and humans to perform their tasks. The software of such robots often undergoes upgra…
Quantum Artificial Intelligence for Software Engineering: the Road Ahead
Xinyi Wang, Shaukat Ali, Paolo Arcaini
In order to handle the increasing complexity of software systems, Artificial Intelligence (AI) has been applied to various areas of software engineering, including requirements eng…
Using quantum annealing to generate test cases for cyber-physical systems
Hugo Araujo, Xinyi Wang, Mohammad Mousavi +1
Quantum computing has emerged as a powerful tool to efficiently solve computational challenges, particularly in simulation and optimisation. However, hardware limitations prevent q…
Quantum Neural Network Classifier for Cancer Registry System Testing: A Feasibility Study
Xinyi Wang, Shaukat Ali, Paolo Arcaini +2
The Cancer Registry of Norway (CRN) is a part of the Norwegian Institute of Public Health (NIPH) and is tasked with producing statistics on cancer among the Norwegian population. F…
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…
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…
QuCAT: A Combinatorial Testing Tool for Quantum Software
Xinyi Wang, Paolo Arcaini, Tao Yue +1
With the increased developments in quantum computing, the availability of systematic and automatic testing approaches for quantum programs is becoming increasingly essential. To th…
Test Case Minimization with Quantum Annealers
Xinyi Wang, Asmar Muqeet, Tao Yue +2
Quantum annealers are specialized quantum computers for solving combinatorial optimization problems using special characteristics of quantum computing (QC), such as superposition,…
QuSBT: Search-Based Testing of Quantum Programs
Xinyi Wang, Paolo Arcaini, Tao Yue +1
Generating a test suite for a quantum program such that it has the maximum number of failing tests is an optimization problem. For such optimization, search-based testing has shown…