Sequential test generation with advanced illegal state search | IEEE Conference Publication | IEEE Xplore