Automated, Systematic, and Optimized Testing of Quantum Programs with Q&A
Speaker: Shaukat Ali, Simula Research Lab
Abstract: Quantum programs implement quantum algorithms solving complex computational problems. Testing such programs is challenging due to the inherent characteristics of Quantum Computing (QC), such as the probabilistic nature and computations in superposition. However, automated and systematic testing is needed to ensure the correct behavior of quantum programs. This talk will present some preliminary works on testing quantum programs. In particular, this talk will provide an assessment of input and output coverage criteria on testing quantum programs, the application of genetic algorithms for optimized testing of quantum programs, and the use of mutation analysis to assess the quality of test cases. Finally, the talk will also present future research directions in quantum software engineering.
Видео Automated, Systematic, and Optimized Testing of Quantum Programs with Q&A канала Gemini Center on Quantum Computing
Abstract: Quantum programs implement quantum algorithms solving complex computational problems. Testing such programs is challenging due to the inherent characteristics of Quantum Computing (QC), such as the probabilistic nature and computations in superposition. However, automated and systematic testing is needed to ensure the correct behavior of quantum programs. This talk will present some preliminary works on testing quantum programs. In particular, this talk will provide an assessment of input and output coverage criteria on testing quantum programs, the application of genetic algorithms for optimized testing of quantum programs, and the use of mutation analysis to assess the quality of test cases. Finally, the talk will also present future research directions in quantum software engineering.
Видео Automated, Systematic, and Optimized Testing of Quantum Programs with Q&A канала Gemini Center on Quantum Computing
Показать
Комментарии отсутствуют
Информация о видео
5 мая 2021 г. 16:20:53
00:38:09
Другие видео канала
Quantum Error Correction from a Classical-Friendly World-View
Solid-state spin qubits
Emergent computations for emerging technologies
Quantum-Resistant Cryptography From Lattices
Fault-tolerant Coding for Quantum Communication
Post-Quantum Signature Schemes and the Oil-and-Vinegar Problem
A Mathematical Approach to Coupled Cluster Methods
Quantum reservoir computing for machine learning
Coupled-Cluster Theory for ground- and excited eigenstates
Learning to measure - A new adaptive approach to extract information in algorithms for NISQ devices
Machine Learning for Variational Quantum Algorithms
Synchronization in two-level quantum systems
Quantum groups and quantum information theory
Cryptography in a (post-)quantum world
Multireference quantum chemistry on NISQ devices
Limitations of noisy quantum algorithms
From Quantum Computing to Quantum Machine Learning
Architecting (Quantum) Computer Systems, with Q&A
Quantum Variational Algorithms: The Good, the Bad and the Ugly
Quantum computing applications in quantum chemistry