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 | 58 | 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 | 38 | 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 | 31 | 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 | 28 | 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 | 26 | 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 | 23 | 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 | 8 | 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 |