@misc{indiciaebe0313f98dc0,
  title = {Probabilistic Condition, Decision and Path Coverage of Circuit-based Quantum Programs},
  author = {Daniel Fortunato and José Campos and Rui Abreu},
  year = {2026},
  url = {https://arxiv.org/abs/2604.26609},
  note = {Source identifier: 2604.26609}
}