QEMI: A Quantum Software Stacks Testing Framework via Equivalence Modulo Inputs

This publication has 16 references indexed in Scilit:

• QReach: A Reachability Analysis Tool for Quantum Markov Chains
  2024
• MorphQ: Metamorphic Testing of the Qiskit Quantum Computing Platform
  2023
• QDiff: Differential Testing of Quantum Software Stacks
  2021
• t|ket⟩: a retargetable compiler for NISQ devices
  Quantum Science and Technology, 2020
• Finding and understanding bugs in C compilers
  2011
• Informational distance on quantum-state space
  Physical Review A, 2004
• Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer
  SIAM Journal on Computing, 1997
• A fast quantum mechanical algorithm for database search
  1996
• Axiomatic derivation of the principle of maximum entropy and the principle of minimum cross-entropy
  IEEE Transactions on Information Theory, 1980
• Some terminology and notation in information theory
  Proceedings of the IEE Part C: Monographs, 1956