A test pattern generation algorithm exploiting behavioral information | IEEE Conference Publication | IEEE Xplore