Can I read A Survey on Testing and Analysis of Quantum Software on EtoBox?

A Survey on Testing and Analysis of Quantum Software by Paltenghi, Matteo; Pradel, Michael is a scholarly article available to read on EtoBox.

What is A Survey on Testing and Analysis of Quantum Software about?

Quantum computing is getting increasing interest from both academia and industry, and the quantum software landscape has been growing rapidly. The quantum software stack comprises quantum programs, implementing algorithms, and platforms like IBM Qiskit, Google Cirq, and Microsoft Q#, enabling their development. To ensure the reliability and performance of quantum software, various techniques for testing and analyzing it have been proposed, such as test generation, bug pattern detection, and circuit optimization. However, the large amount of work and the fact that work on quantum software is performed by several research communities, make it difficult to get a comprehensive overview of the existing techniques. In this work, we provide an extensive survey of the state of the art in testing and analysis of quantum software. We discuss literature from several research communities, including quantum computing, software engineering, programming languages, and formal methods. Our survey covers a wide range of topics, including expected and unexpected behavior of quantum programs, testing techniques, program analysis approaches, optimizations, and benchmarks for testing and analyzing quant

Author

Paltenghi, Matteo; Pradel, Michael

Published

2024

Language

EN