The next step in verification testing of complex Systems is Automation | IEEE Conference Publication | IEEE Xplore