Dynamic test compaction for a random test generation procedure with input cube avoidance | IEEE Conference Publication | IEEE Xplore