Xinyi Wang
PhD student
- Department
- Engineering Complex Software Systems
- Organisation
- Simula Research Laboratory

- xinyi@simula.no
Publications
2025
Journal Articles
X. Wang, S. Ali and P. Arcaini
BQTmizer: A Tool for Test Case Minimization with Quantum Annealing
IEEE Software
X. Wang, S. Ali and D. Taibi
The Landscape of Quantum Software Testing Tools Publisher
IEEE Software
Technical reports
H. Araujo, X. Wang, M. Mousavi and S. Ali
Using quantum annealing to generate test cases for cyber-physical systems
X. Wang, S. Ali and P. Arcaini
Quantum Artificial Intelligence for Software Engineering: the Road Ahead
X. Wang, S. Ali, P. Arcaini, N. R. Veeraragavan and J. Nygård
Quantum Neural Network Classifier for Cancer Registry System Testing: A Feasibility Study
X. Wang, Q. Xu, P. Arcaini, S. Ali and T. Peyrucain
Quantum Machine Learning-based Test Oracle for Autonomous Mobile Robots
Talks, invited
S. Ali, X. Wang, A. Muqeet and E. Mendiluze
AI for Quantum & Quantum for AI
Kongsberg Agenda
Talks, contributed
S. Ali, X. Wang and A. Muqeet
Quantum Software Testing
Tutorials and Technical Briefings in ICSE 2025
X. Wang
Quantum Artificial Intelligence for Software Engineering: the Road Ahead
2030 Software Engineering with FSE 2025
X. Wang
Test Case Minimization with Quantum Annealers
ICSE 2025, Ottawa
X. Wang
Quantum Approximate Optimization Algorithm for Test Case Optimization
ICSE 2025, Ottawa
2024
Journal Articles
X. Wang, S. Ali, T. Yue and P. Arcaini
Quantum Approximate Optimization Algorithm for Test Case Optimization
IEEE Transactions on Software Engineering
X. Wang, A. Muqeet, T. Yue, S. Ali and P. Arcaini
Test Case Minimization with Quantum Annealers
ACM Transactions on Software Engineering and Methodology
Proceedings, refereed
X. Wang, S. Ali, A. Arrieta, P. Arcaini and M. Arratibel
Application of Quantum Extreme Learning Machines for QoS Prediction of Elevators’ Software in an Industrial Context
FSE 2024: Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering
Talks, contributed
X. Wang, S. Ali, A. Arrieta, P. Arcaini and M. Arratibel
Application of Quantum Extreme Learning Machines for QoS Prediction of Elevators’ Software in an Industrial Context
FSE 2024: Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering
2023
Proceedings, refereed
X. Wang, P. Arcaini, T. Yue and S. Ali
QuCAT: A Combinatorial Testing Tool for Quantum Software
the 38th IEEE/ACM International Conference on Automated Software Engineering (ASE 2023)
Talks, contributed
X. Wang
QuCAT: A Combinatorial Testing Tool for Quantum Software
the 38th IEEE/ACM International Conference on Automated Software Engineering (ASE 2023) in Luxembourg
2022
Proceedings, refereed
X. Wang, P. Arcaini, T. Yue and S. Ali
QuSBT: Search-Based Testing of Quantum Programs
2022 IEEE/ACM 44th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)
X. Wang, T. Yu, P. Arcaini, T. Yue and S. Ali
Mutation-Based Test Generation for Quantum Programs with Multi-Objective Search
GECCO '22: Proceedings of the Genetic and Evolutionary Computation Conference
X. Wang, P. Arcaini, T. Yue and S. Ali
Generating Failing Test Suites for Quantum Programs with Search (hot off the press track at GECCO 2022)
GECCO '22: Proceedings of the Genetic and Evolutionary Computation Conference
Talks, invited
X. Wang, N. Oldfield and E. Mendiluze
Quantum Software Testing Work in ComplexSE
Simula Research Laboratory, Norway
S. Ali and X. Wang
Quantum Software Testing Tutorial
NordIQuEst-ENCCS online HPC-QC workshop
2021
Proceedings, refereed
S. Ali, P. Arcaini, X. Wang and T. Yue
Assessing the Effectiveness of Input and Output Coverage Criteria for Testing Quantum Programs
2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST)
X. Wang, P. Arcaini, T. Yue and S. Ali
Generating Failing Test Suites for Quantum Programs with Search
Symposium on Search Base Software Engineering 2021
X. Wang, P. Arcaini, T. Yue and S. Ali
Application of Combinatorial Testing to Quantum Programs
2021 IEEE 21st International Conference on Software Quality, Reliability and Security (QRS)
X. Wang, P. Arcaini, T. Yue and S. Ali
Quito: a Coverage-Guided Test Generator for Quantum Programs
2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE)
X. Wang, P. Arcaini, T. Yue and S. Ali
Application of Combinatorial Testing to Quantum Programs
IEEE International Conference on Software Security and Reliability
X. Wang, P. Arcaini, T. Yue and S. Ali
Generating Failing Test Suites for Quantum Programs with Search
13th Symposium on Search-Based Software Engineering
X. Wang, P. Arcaini, T. Yue and S. Ali
Quito: a Coverage-Guided Test Generator for Quantum Programs
The 36th IEEE/ACM International Conference on Automated Software Engineering
S. Ali, P. Arcaini, X. Wang and T. Yue
Assessing the Effectiveness of Input and Output Coverage Criteria for Testing Quantum Programs
IEEE International Conference on Software Testing, Verification and Validation (ICST)
Talks, contributed
X. Wang
Quito: a Coverage-Guided Test Generator for Quantum Programs
The 36th IEEE/ACM International Conference on Automated Software Engineering
X. Wang
Application of Combinatorial Testing to Quantum Programs
21st IEEE International Conference on Software Quality, Reliability, and Security (QRS 2021)
X. Wang
Generating Failing Test Suites for Quantum Programs with Search
13th Symposium on Search-Based Software Engineering