Jyoti, A. Wahi, and S. . Tripathi, “Study on Verification and Testing Strategies for Quantum Circuits ”, rrijm, vol. 9, no. 3, pp. 331–339, Mar. 2024.