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





  •   NOTICIAS

    • Automatic generation of test circuits for the verification of quantum deterministic algorithms

    17 de Noviembre del 2022





    Nuestros compañeros Antonio García de la Barrera Amo, Manuel A. Serrano, Ignacio García, Macario Polo y Mario Piattini han presentado la ponencia “Automatic generation of test circuits for the verification of quantum deterministic algorithms“, en el “1st International Workshop on Quantum Programming for Software Engineering (QP4SE´22)” en el marco de la conferencia ESEC/FSE 2022 celebrada en Singapur del 14 al 18 de noviembre.

    Este trabajo presenta algunas ideas sobre la generación automática de pruebas para software cuántico.

  •   Ir a Noticias