On maximizing the fault coverage for a given test length limit in a synchronous sequential circuit | IEEE Conference Publication | IEEE Xplore