Export 16 results:
Search results for 14
Filters: 1 is field_publication_state:18 and Author is Xinyi Wang  [Reset Search]
2022
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) In GECCO '22: Proceedings of the Genetic and Evolutionary Computation Conference. ACM, 2022.PDF icon gecco_2022_hop_ssbse_2021.pdf (311.38 KB)
X. Wang, T. Yu, P. Arcaini, T. Yue and S. Ali. Mutation-Based Test Generation for Quantum Programs with Multi-Objective Search In GECCO '22: Proceedings of the Genetic and Evolutionary Computation Conference. ACM, 2022.PDF icon gecco_2022-3.pdf (989.61 KB)
S. Ali and X. Wang. Quantum Software Testing Tutorial In NordIQuEst-ENCCS online HPC-QC workshop., 2022.
X. Wang, N. Oldfield and E. Mendiluze. Quantum Software Testing Work in ComplexSE In Simula Research Laboratory, Norway., 2022.
X. Wang, P. Arcaini, T. Yue and S. Ali. QuSBT: Search-Based Testing of Quantum Programs In 2022 IEEE/ACM 44th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion). IEEE, 2022.PDF icon qusbt_icse22.pdf (941.89 KB)
2021
X. Wang, P. Arcaini, T. Yue and S. Ali. Application of Combinatorial Testing to Quantum Programs In IEEE International Conference on Software Security and Reliability, Edited by F. Wotawa and X. Wang. IEEE, 2021.
X. Wang, P. Arcaini, T. Yue and S. Ali. Application of Combinatorial Testing to Quantum Programs In 2021 IEEE 21st International Conference on Software Quality, Reliability and Security (QRS). IEEE, 2021.PDF icon combinatorial_testing_for_quantum_programs.pdf (374.91 KB)
X. Wang. Application of Combinatorial Testing to Quantum Programs In 21st IEEE International Conference on Software Quality, Reliability, and Security (QRS 2021). IEEE, 2021.
S. Ali, P. Arcaini, X. Wang and T. Yue. Assessing the Effectiveness of Input and Output Coverage Criteria for Testing Quantum Programs In IEEE International Conference on Software Testing, Verification and Validation (ICST), Edited by R. Hierons and F. Ferrari. IEEE, 2021.PDF icon quito.pdf (1021.96 KB)
S. Ali, P. Arcaini, X. Wang and T. Yue. Assessing the Effectiveness of Input and Output Coverage Criteria for Testing Quantum Programs In 2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST). IEEE, 2021.PDF icon quito.pdf (1021.96 KB)
X. Wang, P. Arcaini, T. Yue and S. Ali. Generating Failing Test Suites for Quantum Programs with Search In Symposium on Search Base Software Engineering 2021., 2021.PDF icon ssbse2021_qt.pdf (434.04 KB)
X. Wang. Generating Failing Test Suites for Quantum Programs with Search In 13th Symposium on Search-Based Software Engineering., 2021.
X. Wang, P. Arcaini, T. Yue and S. Ali. Generating Failing Test Suites for Quantum Programs with Search In 13th Symposium on Search-Based Software Engineering. LNCS, 2021.
X. Wang. Quito: a Coverage-Guided Test Generator for Quantum Programs In The 36th IEEE/ACM International Conference on Automated Software Engineering. IEEE/ACM, 2021.
X. Wang, P. Arcaini, T. Yue and S. Ali. Quito: a Coverage-Guided Test Generator for Quantum Programs In 2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE). IEEE, 2021.PDF icon quito_tool.pdf (820.6 KB)
X. Wang, P. Arcaini, T. Yue and S. Ali. Quito: a Coverage-Guided Test Generator for Quantum Programs In The 36th IEEE/ACM International Conference on Automated Software Engineering. IEEE/ACM, 2021.