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 | 53 | 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 | 34 | 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 | 26 | 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 | 22 | 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 | 21 | 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 | 14 | 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 | 4 | 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 | 2 | 2023 |
Test Case Minimization with Quantum Annealers X Wang, A Muqeet, T Yue, S Ali, P Arcaini arXiv preprint arXiv:2308.05505, 2023 | 2 | 2023 |