Test generation for synchronous sequential circuits using multiple observation times | IEEE Conference Publication | IEEE Xplore