Zoom-Talk: Automated, Systematic, and Optimized Testing of Quantum Programs

Speaker: Shaukat Ali, Simula Research Lab
Title:  Automated, Systematic, and Optimized Testing of Quantum Programs

Time: May 5, 2021 11:30 AM Oslo

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.

Join Zoom Meeting: https://zoom.us/j/92762737127