LOCSTEP: a logic simulation based test generation procedure | IEEE Conference Publication | IEEE Xplore