A Two Phase Approach for Minimal Diagnostic Test Set Generation | IEEE Conference Publication | IEEE Xplore