Automatically Refining Assertions for Efficient Debugging of Quantum Programs - Rovara, Damian (arXiv.org)