Manually debugging quantum programs is a difficult and time-intensive process. In this paper, we introduce an automated debugging technique, based on delta debugging and property-based testing, for quantum programs. Our technique automatically identifies the changes made within an update to a quantum program that cause a property-based regression test to fail.

To evaluate our methodology, faults and semantic preserving changes were injected into three quantum algorithms. We discuss the viability and efficacy of our approach after measuring the percentage of faults and semantic preserving changes.

Our results indicate that our method is highly accurate, precise and robust in terms of the amount of changes introduced to the program; moreover, the accuracy of the method increases significantly with the number of properties and inputs. While the precision does not significantly increase by increasing the number of properties and inputs.