Grupo Alarcos · Conference paper · 2024

Generating Property-Based Tests for Quantum Algorithms

Antonio García de la Barrera Amo, Manuel Ángel Serrano Martín, Ignacio García Rodríguez de Guzmán, Macario Polo Usaola, Mario Piattini Velthuis

Lecture Notes in Computer Science · 2024