Automatic generation of test circuits for the verification of Quantum deterministic algorithms | Publicación