Abstract:Developing state-of-the-art classical simulators of quantum circuits is of utmost importance to test and evaluate early quantum technology and understand the true potential of full-blown error-corrected quantum computers. In the past few years, multiple theoretical and numerical advances have continuously pushed the boundary of what is classically simulable, hence the development of a plethora of tools which are often limited to a specific purpose or designed for a particular hardware (e.g. CPUs vs. GPUs). Moreover, such tools are typically developed using tailored languages and syntax, which makes it hard to compare results from, and create hybrid approaches using, different simulation techniques. To support unified and optimized use of these techniques across platforms, we developed HybridQ, a highly extensible platform designed to provide a common framework to integrate multiple state-of-the-art techniques to run on a variety of hardware. The philosophy behind its development has been driven by three main pillars: "Easy to Use", "Easy to Extend", and "Use the Best Available Technology". The powerful tools of HybridQ allow users to manipulate, develop, and extend noiseless and noisy circuits for different hardware architectures. HybridQ supports large-scale high-performance computing (HPC) simulations, automatically balancing workload among different processor nodes and enabling the use of multiple backends to maximize parallel efficiency. Everything is then glued together by a simple and expressive language that allows seamless switching from one technique to another as well as from one hardware to the next, without the need to write lengthy translations, thus greatly simplifying the development of new hybrid algorithms and techniques.

MorphQ: Metamorphic Testing of the Qiskit Quantum Computing Platform

MorphQPV: Exploiting Isomorphism in Quantum Programs to Facilitate Confident Verification

A Survey on Testing and Analysis of Quantum Software

Muskit: a Mutation Analysis Tool for Quantum Software Testing

Quantum Program Testing Through Commuting Pauli Strings on IBM's Quantum Computers

QuCAT: A Combinatorial Testing Tool for Quantum Software

Which Quantum Circuit Mutants Shall Be Used? An Empirical Evaluation of Quantum Circuit Mutations

QCRMut: Quantum Circuit Random Mutant generator tool

Quito - a Coverage-Guided Test Generator for Quantum Programs.

HybridQ: A Hybrid Simulator for Quantum Circuits

Quantum software testing: State of the art

Testing Multi-Subroutine Quantum Programs: From Unit Testing to Integration Testing

Pattern-based quantum functional testing

Assessing the Effectiveness of Input and Output Coverage Criteria for Testing Quantum Programs

Testing and Debugging Quantum Programs: The Road to 2030

Application of Combinatorial Testing to Quantum Programs

Faster and Better Quantum Software Testing through Specification Reduction and Projective Measurements

Testing Quantum Programs with Multiple Subroutines

Analyzing Quantum Programs with LintQ: A Static Analysis Framework for Qiskit