Parallel Software Testing Sequence Generation Method Based on State Pruning.

Tao Sun, Ting Zhang, Xin Guo

Browse the full ISPA paper archive.