Randomized test case generation for hybrid systems: metric selection | IEEE Conference Publication | IEEE Xplore