Quantum sequencer for the minimal test synthesis of black-box functionality | IEEE Conference Publication | IEEE Xplore