ESEC/FSE 2022 (series) / QP4SE 2022 (series) / QP4SE 2022 /
Asserting the Correctness of Short Implementations using Metamorphic Testing
Fri 18 Nov 2022 22:20 - 22:40 at Virtual 2 (Whova) - Testing Quantum Programs
An increasing sense of anticipation and enthusiasm surrounds quantum computing. However, several obstacles need to be overcome before quantum computing can be widely adopted. One of these is determining whether or not a quantum program is behaving according to the expectation. There are several tried-and-true methods for identifying program flaws in the traditional world, but it is far from simple to adapt them to the quantum realm. In this paper, we explore Metamorphic Testing as a promising avenue for this transition. We explore this avenue on the well-known Shor’s Algorithm, and show how it can be used to verify the validity of this testing approach on quantum algorithms.
Fri 18 NovDisplayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change
Fri 18 Nov
Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change
22:00 - 23:00 | |||
22:00 20mPaper | Automatic generation of test circuits for the verification of quantum deterministic algorithms QP4SE A: Antonio García de la Barrera Amo University of Castilla-La Mancha, A: Manuel Serrano University of Castilla-La Mancha, A: Ignacio García University of Castilla-La Mancha, A: Macario Polo University of Castilla-La Mancha, A: Mario Piattini University of Castilla-La Mancha, Spain | ||
22:20 20mPaper | Asserting the Correctness of Short Implementations using Metamorphic Testing QP4SE A: Nuno Costa Faculty of Engineering of the University of Porto, A: João Paulo Fernandes LIACC, Universidade do Porto, Porto, Portugal, A: Rui Abreu Meta Platforms | ||
22:40 20mTalk | Using Quantum Computers to Speed Up Dynamic Testing of Software QP4SE Pre-print |