Test generation and fault localization for quantum circuits | IEEE Conference Publication | IEEE Xplore