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 de Ingeniería del Software y Bases de Datos) held in Ciudad Real, from 12 to 14 September 2023.
This research can be applied in the future to complete QuantumPath ® (the quantum software development and lifecycle application platform).