12 citations · 12 across the 2 of their papers we have counts for
2 papers
quant-ph2026
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…
cs.CL2024★ 12 cited
Exploring LLM-Driven Explanations for Quantum Algorithms
Giordano d'Aloisio, Sophie Fortz, Carol Hanna +4
Background: Quantum computing is a rapidly growing new programming paradigm that brings significant changes to the design and implementation of algorithms. Understanding quantum al…