Generating Property-Based Tests for Quantum Algorithms | Publicación