The quantum frontier of software engineering: A systematic map** study
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 …
(QSE) is emerging as a new discipline to enable developers to design and develop quantum …
[PDF][PDF] When software engineering meets quantum computing
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 …
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
Realistic benchmarks of reproducible bugs and fixes are vital to good experimental
evaluation of debugging and testing approaches. However, there is no suitable bug …
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 …
various domains by harnessing the principles of quantum mechanics. As quantum hardware …
MorphQ: Metamorphic testing of the Qiskit quantum computing platform
As quantum computing is becoming increasingly popular, the underlying quantum
computing platforms are growing both in ability and complexity. Unfortunately, testing these …
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 …
significant challenges for error discovery compared to classical programs. While several …
Challenges of quantum software engineering for the next decade: The road ahead
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 …
make this software efficient, maintainable, reusable, and cost-effective, quality attributes that …
Test case minimization with quantum annealers
Quantum annealers are specialized quantum computers for solving combinatorial
optimization problems with special quantum computing characteristics, eg, superposition …
optimization problems with special quantum computing characteristics, eg, superposition …
QuSBT: Search-based testing of quantum programs
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 …
failing tests is an optimization problem. For such optimization, search-based testing has …
QuraTest: Integrating quantum specific features in quantum program testing
The recent fast development of quantum computers breaks several computation limitations
that are difficult for conventional computers. Up to the present, although many approaches …
that are difficult for conventional computers. Up to the present, although many approaches …