Grupo Alarcos · 2023-09-18

Generación automática de pruebas basadas en propiedades para la verificación de algoritmos cuánticos

Our colleagues Antonio García de la Barrera Amo, Manuel Ángel Serrano, Ignacio García, Macario Polo and Mario Piattini have presented the paper "Automatic generation of property-based tests for the verification of quantum algorithms" at the JISBD 2023 conference (XXVII Jornadas...

Go to the full news item →