Probabilistic Condition, Decision and Path Coverage of Circuit-based Quantum Programs

Daniel Fortunato, José Campos, Rui Abreu

Coverage criteria play a central role in assessing test adequacy in classical software, yet their effectiveness for quantum programs remains poorly understood and largely unexplore…