A Joint Diagnostic Test Generation Procedure with Dynamic Test Compaction | IEEE Conference Publication | IEEE Xplore