Efficient test vectors for ISCAS sequential benchmark circuits | IEEE Conference Publication | IEEE Xplore