| Assessing the effectiveness of input and output coverage criteria for testing quantum programs S Ali, P Arcaini, X Wang, T Yue 2021 14th IEEE Conference on Software Testing, Verification and Validation …, 2021 | 50 | 2021 |
| Generating failing test suites for quantum programs with search X Wang, P Arcaini, T Yue, S Ali International Symposium on Search Based Software Engineering, 9-25, 2021 | 33 | 2021 |
| Application of combinatorial testing to quantum programs X Wang, P Arcaini, T Yue, S Ali 2021 IEEE 21st International Conference on Software Quality, Reliability and …, 2021 | 23 | 2021 |
| Mutation-based test generation for quantum programs with multi-objective search X Wang, T Yu, P Arcaini, T Yue, S Ali Proceedings of the Genetic and Evolutionary Computation Conference, 1345-1353, 2022 | 20 | 2022 |
| Quito: a coverage-guided test generator for quantum programs X Wang, P Arcaini, T Yue, S Ali 2021 36th IEEE/ACM International Conference on Automated Software …, 2021 | 20 | 2021 |
| QuSBT: Search-based testing of quantum programs X Wang, P Arcaini, T Yue, S Ali Proceedings of the ACM/IEEE 44th International Conference on Software …, 2022 | 12 | 2022 |
| QuCAT: A Combinatorial Testing Tool for Quantum Software X Wang, P Arcaini, T Yue, S Ali 2023 38th IEEE/ACM International Conference on Automated Software …, 2023 | 3 | 2023 |
| Guess What Quantum Computing Can Do for Test Case Optimization X Wang, S Ali, T Yue, P Arcaini arXiv preprint arXiv:2312.15547, 2023 | 1 | 2023 |
| Test Case Minimization with Quantum Annealers X Wang, A Muqeet, T Yue, S Ali, P Arcaini arXiv preprint arXiv:2308.05505, 2023 | 1 | 2023 |
