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 …
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 …
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 …
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 …
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 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 …
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 …
The capability of Quantum Computing (QC) in solving complex problems has been increasingly recognized. However, similar to classical computing, to fully exploit QC's …
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 …