Quantum memory-driven computing for test synthesis | IEEE Conference Publication | IEEE Xplore