Xinyi Wang
External collaborator
Publications
Simula-affiliated publications listed
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
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)
2022
Proceedings, refereed
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
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
QuSBT: Search-Based Testing of Quantum Programs
2022 IEEE/ACM 44th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)
Talks, invited
S. Ali and X. Wang
Quantum Software Testing Tutorial
NordIQuEst-ENCCS online HPC-QC workshop
X. Wang, N. Oldfield and E. Mendiluze
Quantum Software Testing Work in ComplexSE
Simula Research Laboratory, Norway
2021
Proceedings, refereed
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
Application of Combinatorial Testing to Quantum Programs
2021 IEEE 21st International Conference on Software Quality, Reliability and Security (QRS)
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)
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
13th Symposium on Search-Based Software Engineering
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
Quito: a Coverage-Guided Test Generator for Quantum Programs
The 36th IEEE/ACM International Conference on Automated Software Engineering
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)
Talks, contributed
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
X. Wang
Quito: a Coverage-Guided Test Generator for Quantum Programs
The 36th IEEE/ACM International Conference on Automated Software Engineering