On Test Generation by Input Cube Avoidance | IEEE Conference Publication | IEEE Xplore