The Omnitest system: a no-generate, no-compile, interactive test methodology | IEEE Conference Publication | IEEE Xplore