On maximizing the fault coverage for a given test length limit in a synchronous sequential circuit | IEEE Journals & Magazine | IEEE Xplore