{"id":"arxiv/2604.26609","url":"https://arxiv.org/abs/2604.26609","tags":["quant-ph","cs.SE"],"score":0,"title":"Probabilistic Condition, Decision and Path Coverage of Circuit-based Quantum Programs","domain":"quant-ph","source":"arxiv","authors":["Daniel Fortunato","José Campos","Rui Abreu"],"reviews":0,"subject":"quant-ph","summary":"Coverage criteria play a central role in assessing test adequacy in classical software, yet their effectiveness for quantum programs remains poorly understood and largely unexplored. In this paper, we propose six quantum-tailored criteria - condition, decision, and path coverage, and their probabilistic variants - adapted from their classical counterparts. We present QaCoCo, a tool that computes these criteria for circuit-based quantum programs. We empirically evaluate these criteria on a large and diverse set of 540 circuits and analyze the coverage achieved. Our results show that while…","category":"research","comments":0,"disputed":false,"division":"physics","mentions":0,"discussed":0,"published":"2026-04-29","reactions":{}}