Quantum software engineering: Landscapes and horizons

J Zhao - arXiv preprint arXiv:2007.07047, 2020 - arxiv.org
Quantum software plays a critical role in exploiting the full potential of quantum computing
systems. As a result, it has been drawing increasing attention recently. This paper defines …

[PDF][PDF] When software engineering meets quantum computing

S Ali, T Yue, R Abreu - Communications of the ACM, 2022 - dl.acm.org
Quantum software needs to be supported with a quantum software stack, ranging from
operating systems to compilers and programming languages,(see examples in Table 1) as …

The quantum frontier of software engineering: A systematic mapping study

M De Stefano, F Pecorelli, D Di Nucci… - Information and …, 2024 - Elsevier
Context: Quantum computing is becoming a reality, and quantum software engineering
(QSE) is emerging as a new discipline to enable developers to design and develop quantum …

MorphQ: Metamorphic testing of the Qiskit quantum computing platform

M Paltenghi, M Pradel - 2023 IEEE/ACM 45th International …, 2023 - ieeexplore.ieee.org
As quantum computing is becoming increasingly popular, the underlying quantum
computing platforms are growing both in ability and complexity. Unfortunately, testing these …

Bugs4Q: A benchmark of existing bugs to enable controlled testing and debugging studies for quantum programs

P Zhao, Z Miao, S Lan, J Zhao - Journal of Systems and Software, 2023 - Elsevier
Realistic benchmarks of reproducible bugs and fixes are vital to good experimental
evaluation of debugging and testing approaches. However, there is no suitable bug …

Testing multi-subroutine quantum programs: From unit testing to integration testing

P Long, J Zhao - ACM Transactions on Software Engineering and …, 2024 - dl.acm.org
Quantum computing has emerged as a promising field with the potential to revolutionize
various domains by harnessing the principles of quantum mechanics. As quantum hardware …

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 …, 2022 - dl.acm.org
Mutation testing is often used for designing new tests, and involves changing a program in
minor ways, which results in mutated versions of the program, ie, mutants. An effective test …

Muskit: A mutation analysis tool for quantum software testing

E Mendiluze, S Ali, P Arcaini… - 2021 36th IEEE/ACM …, 2021 - ieeexplore.ieee.org
Given that quantum software testing is a new area of research, there is a lack of benchmark
programs and bugs repositories to assess the effectiveness of testing techniques. To this …

Application of combinatorial testing to quantum programs

X Wang, P Arcaini, T Yue, S Ali - 2021 IEEE 21st International …, 2021 - ieeexplore.ieee.org
The capability of Quantum Computing (QC) in solving complex problems has been
increasingly recognized. However, similar to classical computing, to fully exploit QC's …

Equivalence, identity, and unitarity checking in black-box testing of quantum programs

P Long, J Zhao - Journal of Systems and Software, 2024 - Elsevier
Quantum programs exhibit inherent non-deterministic behavior, which poses more
significant challenges for error discovery compared to classical programs. While several …