Functional Test Sequences as a Source for Partially Functional Launch-on-Shift Tests | IEEE Journals & Magazine | IEEE Xplore