Assessing the Effectiveness of Input and Output Coverage Criteria for Testing Quantum Programs. - Shaukat Ali 001; Paolo Arcaini; Xinyi Wang 004; Tao Yue 002 (ICST, 2021)

Quito: a Coverage-Guided Test Generator for Quantum Programs. - Xinyi Wang 004; Paolo Arcaini; Tao Yue 002; Shaukat Ali 001 (ASE, 2021)

Application of Combinatorial Testing to Quantum Programs. - Xinyi Wang 004; Paolo Arcaini; Tao Yue 002; Shaukat Ali 001 (QRS, 2021)

Generating Failing Test Suites for Quantum Programs With Search. - Xinyi Wang 004; Paolo Arcaini; Tao Yue 002; Shaukat Ali 001 (SSBSE, 2021)

Quito: a Coverage-Guided Test Generator for Quantum Programs. - Xinyi Wang 004; Paolo Arcaini; Tao Yue 002; Shaukat Ali 001 (Zenodo, 2021)

Generating failing test suites for quantum programs with search (hot off the press track at GECCO 2022). - Xinyi Wang 004; Paolo Arcaini; Tao Yue 002; Shaukat Ali 001 (GECCO Companion, 2022)

Mutation-based test generation for quantum programs with multi-objective search. - Xinyi Wang 004; Tongxuan Yu; Paolo Arcaini; Tao Yue 002; Shaukat Ali 001 (GECCO, 2022)

QuSBT: Search-Based Testing of Quantum Programs. - Xinyi Wang 004; Paolo Arcaini; Tao Yue 002; Shaukat Ali 001 (ICSE-Companion, 2022)

QuCAT: A Combinatorial Testing Tool for Quantum Software. - Xinyi Wang 004; Paolo Arcaini; Tao Yue 002; Shaukat Ali 001 (ASE, 2023)

Guess What Quantum Computing Can Do for Test Case Optimization. - Xinyi Wang 004; Shaukat Ali 001; Tao Yue 002; Paolo Arcaini (CoRR, 2023)

Application of Quantum Extreme Learning Machines for QoS Prediction of Elevators' Software in an Industrial Context. - Xinyi Wang 004; Shaukat Ali 001; Aitor Arrieta; Paolo Arcaini; Maite Arratibel (SIGSOFT FSE Companion, 2024)

Quantum Neural Network Classifier for Cancer Registry System Testing: A Feasibility Study. - Xinyi Wang 004; Shaukat Ali 001; Paolo Arcaini; Narasimha Raghavan Veeraragavan; Jan F. Nygård (CoRR, 2024)

BootQA: Test Case Minimization with Quantum Annealer. - Xinyi Wang 004; Asmar Muqeet; Tao Yue 002; Shaukat Ali 001; Paolo Arcaini (Zenodo, 2024)

Quantum Approximate Optimization Algorithm for Test Case Optimization. - Xinyi Wang 004; Shaukat Ali 001; Tao Yue 002; Paolo Arcaini (IEEE Trans. Software Eng., 2024)

BQTmizer: A Tool for Test Case Minimization With Quantum Annealing. - Xinyi Wang 004; Shaukat Ali 001; Paolo Arcaini (IEEE Softw., 2025)

The Landscape of Quantum Software Testing Tools. - Xinyi Wang 004; Shaukat Ali 001; Davide Taibi 001 (IEEE Softw., 2025)

Test Case Minimization with Quantum Annealers. - Xinyi Wang 004; Asmar Muqeet; Tao Yue 002; Shaukat Ali 001; Paolo Arcaini (ACM Trans. Softw. Eng. Methodol., 2025)

Using quantum annealing to generate test cases for cyber-physical systems. - Hugo Araújo; Xinyi Wang 004; Mohammad Mousavi; Shaukat Ali 001 (CoRR, 2025)

Quantum Artificial Intelligence for Software Engineering: the Road Ahead. - Xinyi Wang 004; Shaukat Ali 001; Paolo Arcaini (CoRR, 2025)