A directed search method for test generation using a concurrent simulator | IEEE Journals & Magazine | IEEE Xplore