Currently, gate-based quantum computers are the most popular ones developed by prominent companies such as IBM, Google, and IQM. These quantum computers are programmed using quantum circuits. Ensuring the correctness of these quantum circuits, i.e., they perform their intended computations, is currently the focus of quantum software testing. First, this keynote will focus on the latest developments in quantum software testing, such as coverage criteria, search-based testing, mutation testing, and metamorphic testing. Next, the keynote will discuss some key future research directions in quantum software testing that deserve the community’s attention.
Program Display Configuration
Fri 15 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
Present to Future: Forging the Future of Quantum Software Testing
Currently, gate-based quantum computers are the most popular ones developed by prominent companies such as IBM, Google, and IQM. These quantum computers are programmed using quantum circuits. Ensuring the correctness of these quantum circuits, i.e., they perform their intended computations, is currently the focus of quantum software testing. First, this keynote will focus on the latest developments in quantum software testing, such as coverage criteria, search-based testing, mutation testing, and metamorphic testing. Next, the keynote will discuss some key future research directions in quantum software testing that deserve the community’s attention.