Generating Property-Based Tests for Quantum Algorithms.

Antonio Garca de la Barrera, Manuel ngel Serrano, Ignacio Garca Rodrguez de Guzmn, Macario Polo, Mario Piattini

Browse the full ICSOC paper archive.