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

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 …

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 …

Challenges and opportunities in quantum software architecture

T Yue, W Mauerer, S Ali, D Taibi - Software Architecture: Research …, 2023 - Springer
Quantum computing is a relatively new paradigm that has raised considerable interest in
physics and computer science in general but has so far received little attention in software …

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 …

Mitigating noise in quantum software testing using machine learning

A Muqeet, T Yue, S Ali, P Arcaini - IEEE Transactions on …, 2024 - ieeexplore.ieee.org
Quantum Computing (QC) promises computational speedup over classic computing.
However, noise exists in near-term quantum computers. Quantum software testing (for …

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 …

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 …

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 …