Test generation in a parallel processing environment | IEEE Conference Publication | IEEE Xplore