Automatic generation of test circuits for the verification of Quantum deterministic algorithms

Antonio García de la Barrera Amo, Manuel A. Serrano, Ignacio García Rodríguez de Guzmán, Macario Polo, Mario Piattini. Automatic generation of test circuits for the verification of Quantum deterministic algorithms. In Fabiano Pecorelli, Vita Santa Barletta, Manuel A. Serrano, editors, Proceedings of the 1st International Workshop on Quantum Programming for Software Engineering, QP4SE 2022, Singapore, Singapore, 18 November 2022. pages 1-6, ACM, 2022. [doi]

Abstract

Abstract is missing.