Property-based test generation for scan designs and the effects of the test application scheme and scan selection on the number of detectable faults | IEEE Journals & Magazine | IEEE Xplore