Are random vectors useful in test generation? | IEEE Conference Publication | IEEE Xplore