Test generation for synchronous sequential circuits based on fault extraction | IEEE Conference Publication | IEEE Xplore