Parallel Software Testing Sequence Generation Method Based on State Pruning | IEEE Conference Publication | IEEE Xplore