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 …

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 …

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 …

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 …

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

JM Murillo, J Garcia-Alonso, E Moguel… - arxiv e …, 2024 - ui.adsabs.harvard.edu
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 …

Test case minimization with quantum annealers

X Wang, A Muqeet, T Yue, S Ali, P Arcaini - ACM Transactions on …, 2024 - dl.acm.org
Quantum annealers are specialized quantum computers for solving combinatorial
optimization problems with special quantum computing characteristics, eg, superposition …

QuSBT: Search-based testing of quantum programs

X Wang, P Arcaini, T Yue, S Ali - Proceedings of the ACM/IEEE 44th …, 2022 - dl.acm.org
Generating a test suite for a quantum program such that it has the maximum number of
failing tests is an optimization problem. For such optimization, search-based testing has …

QuraTest: Integrating quantum specific features in quantum program testing

J Ye, S **a, F Zhang, P Arcaini, L Ma… - 2023 38th IEEE/ACM …, 2023 - ieeexplore.ieee.org
The recent fast development of quantum computers breaks several computation limitations
that are difficult for conventional computers. Up to the present, although many approaches …