The quantum frontier of software engineering: A systematic map** 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 …

[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 …

Challenges of quantum software engineering for the next decade: The road ahead

JM Murillo, J Garcia-Alonso, E Moguel, J Barzen… - arxiv preprint arxiv …, 2024 - arxiv.org
As quantum computers evolve, so does the complexity of the software that they can run. To
make this software efficient, maintainable, reusable, and cost-effective, quality attributes that …

QMutPy: A mutation testing tool for quantum algorithms and applications in Qiskit

D Fortunato, J Campos, R Abreu - Proceedings of the 31st ACM …, 2022 - dl.acm.org
There is an inherent lack of knowledge and technology to test a quantum program properly.
In this paper, building on the definition of syntactically equivalent quantum gates, we …

Mutation testing of quantum programs: A case study with Qiskit

D Fortunato, J Campos, R Abreu - IEEE Transactions on …, 2022 - ieeexplore.ieee.org
As quantum computing is still in its infancy, there is an inherent lack of knowledge and
technology to test a quantum program properly. In the classical realm, mutation testing has …

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 …

Qdiff: Differential testing of quantum software stacks

J Wang, Q Zhang, GH Xu, M Kim - 2021 36th IEEE/ACM …, 2021 - ieeexplore.ieee.org
Over the past few years, several quantum software stacks (QSS) have been developed in
response to rapid hardware advances in quantum computing. A QSS includes a 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 …

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 …