A Test Generation Method Based on Model Reduction for Parallel Software | IEEE Conference Publication | IEEE Xplore