Noisy Intermediate-Scale Quantum (NISQ) systems and associated programming interfaces
make it possible to explore and investigate the design and development of quantum …

Quantum programming languages provide necessary constructs to program quantum
computers. To write such programs, one needs to understand the characteristics of quantum …

The development that quantum computing technologies are achieving is beginning to attract
the interest of companies that could potentially be users of quantum software. Thus, it is …

We introduce a new paradigm for analysing and finding bugs in quantum circuits. In our
approach, the problem is given by a ‍triple {P} C {Q} and the question is whether, given a set …

The field of artificial neural networks is expected to strongly benefit from recent
developments of quantum computers. In particular, quantum machine learning, a class of …

Mutation testing is often used for designing new tests, and involves changing a program in
minor ways, which results in mutated versions of the program, ie, mutants. An effective test …

This article aims to bring quantum computing to robotics. A quantum algorithm is developed
to minimize the distance traveled in warehouses and distribution centers where order …

Given that quantum software testing is a new area of research, there is a lack of benchmark
programs and bugs repositories to assess the effectiveness of testing techniques. To this …

In order to characterize and benchmark computational hardware, software, and algorithms, it
is essential to have many problem instances on-hand. This is no less true for quantum …

Testing quantum programs requires systematic, automated, and intelligent methods due to
their inherent complexity, such as their superposition and entanglement. To this end, we …