Test generation for sequential circuits using individual initial value propagation | IEEE Conference Publication | IEEE Xplore