On Testing Quantum Programs

@article{Miranskyy2019OnTQ,
  title={On Testing Quantum Programs},
  author={A. Miranskyy and Lei Zhang},
  journal={2019 IEEE/ACM 41st International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER)},
  year={2019},
  pages={57-60}
}
  • A. Miranskyy, Lei Zhang
  • Published 2019
  • Computer Science, Physics
  • 2019 IEEE/ACM 41st International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER)
  • A quantum computer (QC) can solve many computational problems more efficiently than a classic one. The field of QCs is growing: companies (such as D-Wave, IBM, Google, and Microsoft) are building QC offerings. We position that software engineers should look into defining a set of software engineering practices that apply to QC's software. To start this process, we give examples of challenges associated with testing such software and sketch potential solutions to some of these challenges. 
    Property-based Testing of Quantum Programs in Q#
    1
    Is your quantum program bug-free?
    Quantum Software Engineering: Landscapes and Horizons
    Quantum Advantage and Y2K Bug: Comparison

    References

    Publications referenced by this paper.
    SHOWING 1-10 OF 27 REFERENCES
    QDB: From Quantum Algorithms Towards Correct Quantum Programs
    12
    Open Quantum Assembly Language
    128
    Q#: Enabling Scalable Quantum Computing and Development with a High-level DSL
    72
    Classical Verification of Quantum Computations
    67
    What is a quantum simulator?
    27
    EXPERIMENTAL IMPLEMENTATION OF FAST QUANTUM SEARCHING
    473
    Quantum computing and the entanglement frontier
    169
    Quantum Computation and Quantum Information (10th Anniversary edition)
    1291