CCSTG: an efficient test pattern generator for sequential circuits | IEEE Conference Publication | IEEE Xplore