Random Stimuli Generation for the Verification of Quantum Circuits. - Burgholzer, Lukas; Kueng, Richard; Wille, Robert (CoRR, 2020)