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]

Authors

Antonio García de la Barrera Amo

This author has not been identified. Look up 'Antonio García de la Barrera Amo' in Google

Manuel A. Serrano

This author has not been identified. Look up 'Manuel A. Serrano' in Google

Ignacio García Rodríguez de Guzmán

This author has not been identified. Look up 'Ignacio García Rodríguez de Guzmán' in Google

Macario Polo

This author has not been identified. Look up 'Macario Polo' in Google

Mario Piattini

This author has not been identified. Look up 'Mario Piattini' in Google