Galleta

Cookies

El sitio web de la UCLM utiliza cookies propias y de terceros con fines técnicos y de análisis.

Aviso de Cookies





  •   NEWS


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

    18th September 2023





    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).

  •   Go to News