Automatic Generation of Testing Circuits for Deterministic Quantum Algorithms | Publicación