Testing and Debugging Quantum Circuits - Sara Ayman Metwalli; Rodney Van Meter (IEEE Transactions on Quantum Engineering, 2024)