EBT: A Comprehensive Test Generation Technique for Highly Sequential Circuits | IEEE Conference Publication | IEEE Xplore